Chapter-Propositionallogic(TautologyandImplication).ppt

因此, 要证明P?Q有三种方法: 1)真值表法: 即列出P?Q的真值表,观察其是 否永为真。 2)等值演算法：通过证明P?Q ?1来证P?Q 3)分析法： 直接分析法: 假定前件P是真，推出后件Q是真。 间接分析法: 假定后件是假，推出前件是假,即证 ┓Q?┓P 。 2. 蕴涵式证明方法 方法1.列真值表。(即列永真式的真值表)这里就不再举例了。 下面讨论另外两种方法。 A B A ?B F F T F T T T F F T T T 先看一看A?B的真值表，如果A?B为永真式，则真值表的第三组指派不会出现。于是有下面两种证明方法。 （真值表法） P Q P→Q ┐Q→┐P 1 1 1 0 0 1 0 0 1011 1011 注：原命题等价于它的逆否命题！ 3. 方法一、 方法二、 等值演算法； 方法三、 例: 证明┐Q?(P→Q)?┐P 1) 法1：真值表（略） 2) 法2： ┐Q?(P→Q)→ ┐P ? ┐(┐Q?(P→Q))∨(┐P ) ? Q∨┐(┐P∨Q)∨(┐P ) ? (┐P∨Q)∨┐(┐P∨Q) ?1 即┐Q?(P→Q)?┐P 方法1:等值演算法 方法2.假设前件为真，推出后件也为真。 例如求证： ((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B 证明:设前件((A∧B)?C)∧?D∧(?C∨D) 为 真。则((A∧B)?C)、?D、(?C∨D)均真， ?D为T，则D为F ?C∨D为T ((A∧B)?C为T 如果A为F，则?A为T，所以?A∨?B为T。 如果B为F，则?B为T，所以?A∨?B 为T。 ?((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B 得C为F 得A∧B为F 方法3.假设后件为假，推出前件也为假。 例如求证： ((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B 证明:假设后件?A∨?B为F,则A与B均为T。 1.如C为F，则(A∧B)?C为F，所以前件 ((A∧B)?C)∧?D∧(?C∨D) 为F 2.如C为T，则⑴若D为T，则?D为F，所以 前件((A∧B)?C)∧?D∧(?C∨D) 为假 ⑵若D为F，则?C∨D为F，所以 前件((A∧B)?C)∧?D∧(?C∨D) 为假。 ?((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B 3) 直接分析法：若 ┐Q?(P→Q)为真，则 ┐Q，P→Q为真，所以Q为假，P为假，所以┐P为真。 间接分析法：若┐P为假，则P为真，再分二种情况： ①若Q为真，则┐Q为假,从而┐Q?(P→Q) 为假. ②若Q为假，则P→Q为假，则┐Q?(P→Q)为假. 根据① ②，所以 ┐Q?(P→Q)?┐P 3.重要的蕴涵式(如教材第43页所示) I1.P∧Q?P I2. P∧Q?Q I3. P?P∨Q I4. Q?P∨Q I5. ?P?P?Q I6. Q?P?Q I7. ?(P?Q)?P I8. ?(P?Q)??Q I9. P,Q ?P∧Q I10. ?P∧(P∨Q)?Q I11. P∧(P?Q)?Q I12. ?Q∧(P?Q)??P I13. (P?Q)∧(Q?R)?P?R I14. (P∨Q)∧(P?R)∧(Q?R)?R I15. A?B ?(A∨C)?(B∨C) I16. A?B ?(A∧C)?(B∧C) * 第一章 命题逻辑 第一章 命题逻辑 * 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 1.5.1重言式(Tautology)与矛盾式 (contradictory)的性质 1.5.2命题公式的分类 1.5.3 蕴含式( ImPlication) P Q (P ? Q) ┐(P?Q) ┐(P?Q)∧Q 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 ex