吉林大学离散数学课后习题.docVIP

第二章命题逻辑 §2.2主要解题方法 证明命题公式恒真或恒假 主要有以下方法： 方法一.真值表方法。即列出公式的真值表，若表中对 应公式所在列的每一取值全为1，这说明该公式在它的全部讲解下都是真，所以是恒真的；若表中对应公式所在列的每 一取值全为0，这说明该公式在它的全部讲解下都为假，所以是恒假的。 真值表法比较烦杂，但只要仔细仔细，不会出错。 例说明G=(PQR)(PQ)(PR)是恒真、 恒假还是可满足。 解：该公式的真值表以下： P Q RPQP(PQPRG R Q R) (P Q) 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 表 由于表中对应公式G所在列的每一取值全为1，故 G恒真。 方法二.以基本等价式为基础，经过屡次对一个公式的等价代换，使之最后转变为一个恒真式或恒假式，从而实现公式恒真或恒假的证明。 例说明G=((PR)R)((QP) 是恒真、恒假还是可满足。 解：由(PR)R=  P  R  R=1，以及 (Q  P)  P=  （QP）  P=Q  P P=0 知，((PR)R)((QP)P)=0，故 G恒假。 方法三. 取式包含全部 取式包含全部  设命题公式G含n个原子，若求得n n 2个极大项，则G是恒假的。  G的主析 G的主合 方法四.对任给要判断的命题公式G，设其中有原子P1，P2，，Pn，令P1取1值，求G的真值，或为1，或为0，或 成为新公式G1且其中只有原子P2，，Pn，再令P1取0值， 求G真值，这样连续，到最后只含0或1为止，若最后结果 全为1，则公式G恒真，若最后结果全为0，则公式G恒假，若最后结果有1，有0，则是可满足的。例子拜会书中例2.4.3。方法五.注意到公式G蕴涵公式H的充要条件是：公式 H是恒真的；公式G，H等价的充要条件是：公式GH是恒真的，所以，若是待观察公式是GH型的，可将证明GH 是恒真的转变为证明G蕴涵H；若是待观察公式是GH型的，可将证明GH是恒真的转变为证明G和H相互相蕴涵。 例证明G=(PR)((QR)((PQ) R))恒真。 证明：要证明(P恒真，只要证明(P我们使用形式演绎法。  R)((QR)((PQ)R)) R)((QR)((PQ)R))。 （1）PR 规则1 （2）QR 附加前提 （3）PR 规则2，依照（1） （4）QR 规则2，依照（2） （5）（ PR） （ QR） 规则2，依照（3）、 （4） （6）（ P Q） R 规则2，依照（5） （7） （P Q） R 规则2，依照（6） （8）（PQ） R 规则2，依照（7） （9）(QR)((PQ)R)规则3，依照（2）、 8） 公式蕴涵的证明方法 主要有以下方法：给出两个公式A，B，证明A蕴涵B，我 们有以下几种方法： 方法一.真值表法。将公式A和公式B同列在一真值表中， 扫描公式A所对应的列，考据该列真值为 行家上相应公式B所对应列上的每一项必为 A蕴涵B。  1  的每一项，它所1（真），则公式 例设A=(PQR)(PQ)，B=(PR)，证明： B。 证明： P Q R P QP A B RQ 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 表 由表2.2.2能够看出，使A为真的讲解均使B亦为真，所以，AB。 方法二.证明AB是恒真公式。 由例知，(PQR)(PQ) 马上可获得例中的结论：(P (PR)，即AB。  (P  R)恒真，所以， QR)(PQ) 例2.2.5设A、B和C为命题公式，且AB。请分别阐述（必定或否定）以下关系式的正确性。 （1）(A C) (B C)； （2）(A C) (B C)。 解：由A B知，A B是恒真公式，故 A=1时，B不能能 为0。 真值表以下： ABCAB(AC)(AC) (B C) (BC) 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 表 从真值表能够看出， (AC)(BC)(A 不是恒真公式，所以，  (A C) (A  C) (B C)  (BC)是恒真公式，所以， C)正确；(AC)(BC) (BC)不正确。 例设A=(R  P)Q，B=P B  Q，证明  A蕴涵  B。 (  ((R P  Q)  P)Q)