第二章命题逻辑等值演算解说.ppt

第二章 命题逻辑等值演算 主要内容 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法 2.1 等值式 定义2.1 若等价式A?B是重言式，则称A与B等值，记作A?B，并称A?B是等值式 几点说明： 定义中，A, B, ?均为元语言符号 A或B中有可能出现哑元. 例如 (p?q) ? ((?p?q)?(?r?r)) r为左边公式的哑元. 用真值表可检查两个公式是否等值 等值式例题 等值式例题 例2.2 判断下列各组公式是否等值: (1) p?(q?r) 与 (p?q) ?r (2) (p?q) ?r 与(p?q) ?r 基本等值式 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?C)?(A?B)?(A?C) 6.德摩根律 ?(A?B)??A??B，?(A?B)??A??B 7.吸收律 A?(A?B)?A, A?(A?B)?A 8.零律 A?1?1, A?0?0 9.同一律 A?0?A. A?1?A 10.排中律 A??A?1 11.矛盾律 A??A?0 12.蕴涵等值式 A?B??A?B 13.等价等值式 A?B?(A?B)?(B?A) 14.假言易位 A?B??B??A 15.等价否定等值式 A?B??A??B 16.归谬论 (A?B)?(A??B) ??A 基本等值式 以上16组等值式模式共包含了24个重要等值式，它们都是用元语言符号书写的。等值式模式中的A，B，C可以替换成任意的公式，每个等值式模式都可以给出无穷多个同类型的具体的等值式。 例如，在蕴涵等值式中，取A=p，B=q时，得等值式 ?p→q ? ┐ p∨q 这些具体的等值式都被称为原来的等值式模式的代入实例。 特别提示：必须牢记这16组等值式模式，共24个重要等值式，这是继续学习的基础 等值演算与置换规则 1. 等值演算——由已知的等值式推演出另外一些等值式的过程 2. 等值演算的基础： (1) 等值关系的性质：自反性、对称性、传递性 (2) 基本的等值式 (3) 置换规则（见3） 3. 置换规则 设 ?(A) 是含公式 A 的命题公式，?(B) 是用公式 B 置换 ?(A) 中所有的 A 后得到的命题公式 若 B?A，则 ?(B)??(A) 等值演算的应用举例 证明两个公式等值 例2.3 用等值演算法验证等值式 (p?q)?r ? (p?r)?(q?r) 证明 (p?r)?(q?r) ? (?p?r)?(?q?r) （蕴涵等值式） ? (?p??q)?r （分配律） ? ?(p?q)?r （德摩根律） ? (p?q)?r （蕴涵等值式） 等值演算的应用举例 证明两个公式等值 例2.3 用等值演算法验证等值式 (p?q)?r ? (p?r)?(q?r) 证明：(p?q)?r ? ?(p?q)?r （蕴涵等值式） ? (?p??q)?r （德摩根律） ? (?p?r)?(?q?r) （分配律） ? (p?r)?(q?r) （蕴涵等值式） 注意：用等值演算不能直接证明两个公式不等值 等值演算的应用举例 证明两个公式不等值 例2.4 证明 p?(q?r)≠(p?q)?r 证明 方法一 真值表法。只要这两个公式的真值表不同就表示它们之间不等值。 方法二 观察法。只要给出一个赋值使得这两个命题公式的真值不同就表明它们不等值。通过观察可得出：000, 010是左