第一部分 第二章 命题逻辑等值演算.pptVIP

第二章 命题逻辑等值演算 2.1 等值式 2.2 析取范式与合取范式 2.3 联结词的完备集 2.4 可满足性问题与消解法 2.1 等值式 定义2.1 设A、B是任意两个命题公式，若等价式 A ? B为重言式，则称A与B是等值的， 记作：A ? B ⑴ 自反性，即对任意命题公式A， A?A ⑵ 对称性，即对任意命题公式A和B， 若A?B，则B?A ⑶ 传递性，即对任意命题公式A，B和C， 若A?B，B?C，则A?C 两点注意 “?”与“=” “A=B”表示两公式一样， “A ? B”表示两公式真值一样 ?与?是两类完全不同的符号 ?是联结词、运算符，A?B是一个公式。 ?不是联结词， 而是两个公式之间的关系符 真值表判断等值 十六组重要的等值式（模式） 1.双重否定律 A ? ? ? A 2.幂等律 A∧A ? A，A∨A ? A 3.交换律 A∨B ? B∨A，A∧B ? B∧A 4.结合律 (A∨B)∨C ? A∨(B∨C) (A∧B)∧C ? A∧(B∧C) 十六组重要的等值式 5.分配律 (提取公因式） A∧(B∨C) ? (A∧B)∨(A∧C) A∨(B∧