命题逻辑等值演算.pptVIP

第2章 命题逻辑等值演算 本章说明 2. 2. 1 等值式 两公式什么时候代表了同一个命题呢？ 抽象地看，它们的真假取值完全相同时即代表了相同的命题。 设公式A,B共同含有n个命题变项，可能对A或B有哑元，若A与B有相同的真值表，则说明在2n个赋值的每个赋值下，A与B的真值都相同。于是等价式A?B应为重言式。 等值的定义及说明 例题 例2.1 判断下面两个公式是否等值 ┐(p∨q) 与 ┐p∧┐q 例题 例题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