离散数学--2.2-3 命题逻辑等值演算.pptVIP

2.2 命题逻辑等值演算 2.2.1 等值式与等值演算 等值式与基本等值式 真值表法与等值演算法 2.2.2 联结词完备集 真值函数 联结词完备集 与非联结词和或非联结词 等值式 真值表法 例1 判断 ?(p?q) 与 ?p??q 是否等值 解 真值表法(续) 例2 判断下述3个公式之间的等值关系:p?(q?r),(p?q)?r,(p?q)?r 解 基本等值式 双重否定律A?A 幂等律A?A?A, A?A?A 交换律A?B?B?A, A?B?B?A 结合律(A?B)?C?A?(B?C)(A?B)?C?A?(B?C) 分配律A?(B?C)?(A?B)?(A?C)A?(B?C)? (A?B)?(A?C) 德摩根律(A?B)??A??B(A?B)??A??B 吸收律A?(A?B)?A, A?(A?B)?A 基本等值式(续) 零律A?1?1,A?0?0 同一律A?0?A, A?1?A 排中律A??A?1 矛盾律A??A?0 蕴涵等值式A?B??A?B 等价等值式A?B?(A?B)?(B?A) 假言易位A?B??B??A 等价否定等值式 A?B??A??B 归谬论(A?B)?(A??B) ??A 等值演算 等值演算: 由已知的等值式推演出新的等值式的过程 置换规则: 若A?B, 则?(B)??(A) 例3 证明 p?(q?r) ? (p?q)?r 证 p?(q