第2章逻辑和证明-Read.ppt

第二章 逻辑和证明 2.2 命题等价 命题演算：用真值相同的命题取代另一个 在证明时广泛使用 定义1. 永真式（重言式）：真值总是真 矛盾（式）：真值总是假 可能式：真值可真也可假 真值表判定法 例1 p??p和p??p 表2-1 永真式和矛盾的例子 定义2 命题逻辑等价：两个复合命题在所有可能的情况下 都有相同真值 是永真式 记为 真值表判定法 例2 证明命题 和 逻辑等价 解 在表2-2 中构造了这两个命题的真值表，由于 和 的真值相同，它们是逻辑等价的。（接下页） 表2-2 和 的真值表 例3 证明命题p∨(q∧r)和(p∨q)∧(p∨r)逻辑等价。这是析取对合取的分配律。 证明： 表1-11 中构造了这两个命题的真值表。因为p∨(q∧r)的真值和(p∨q)∧(p∨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?