第一章离散讲述.ppt

方法3 (P→Q)→(P→(P∧Q)) ??(?P∨Q)∨(?P∨(P∧Q)) 去→ ?(P∧?Q)∨?P∨(P∧Q) ? 后移 ?(P∧?Q)∨(?P∧(Q∨?Q))∨(P∧Q) 补变元Q ?(P∧?Q)∨(?P∧Q)∨(?P∧?Q)∨(P∧Q) 分配 ? (P∧Q)∨(P∧?Q)∨(?P∧Q)∨(?P∧?Q) 整理 ? m3∨m2∨m1∨m0 可见，该公式的主析取范式含有全部(四个)小项， 这表明(P→Q)→(P→(P∧Q))是永真式。 三.重言蕴涵式的证明方法 方法1.列真值表。(即列永真式的真值表) (略) 方法2.假设前件为真，推出后件也为真。 方法3.假设后件为假，推出前件也为假。 P23(8)e)证明 (?A?(B∨C) )∧(D∨E)∧((D∨E)??A) ? B∨C 方法2 证明： 设前件(?A?(B∨C) )∧(D∨E)∧((D∨E)??A) 为真，则?A?(B∨C) , D∨E, (D∨E)??A 均为 真。由D∨E, (D∨E)??A 均为真用I11得?A为真, 又由?A?(B∨C)为真，得B∨C为真。所以得 (?A?(B∨C) )∧(D∨E)∧((D∨E)??A) ? B∨C (?A?(B∨C) )∧(D∨E)∧((D∨E)??A)?B∨