第一章命题逻辑(4).pptVIP

作业 P62习题7（1）（3）（5）（7）（9） 1.4 命题公式间的关系 公式间两类重要的关系：逻辑等价和逻辑蕴涵。 1.4.1 命题公式间的逻辑等价 定义1.12 设A, B是两个命题公式，若对出现在A与B中的所有命题变元的任一组赋值，公式A和B的真值都相同，则称公式A与B是逻辑等价或称逻辑相等，记作A?B. 逻辑等价也称为等价的、逻辑等值的、等值的。 A, B构成的等价式(等值式)A?B为重言式。 在此要注意区别“?”与“?”： 首先，“?”是一种逻辑联结词，是一种逻辑运算，A?B的结果仍是一个命题公式。 而逻辑等价“?”则是描述了两个公式A与B之间的一种逻辑关系，A?B表示“命题公式A与命题公式B是逻辑等价的”，A?B的结果不是命题公式。 1.4.1 命题公式间的逻辑等价 为了判断两个公式是否是逻辑等价，一般可以通过将两个公式的真值表列出，判断两个真值表是否相同来判定。 例1.29 试判断(P∧Q )∨(P∧﹁Q )与P是否是逻辑等价的。 解：这两个公式的真值表如表所示。 P Q (P∧Q)∨(P∧﹁Q) P 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1.4.1 命题公式间的逻辑等价 最基本、最重要的逻辑等价公式： 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) 1.4.1 命题公式间的逻辑等价 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 ? 1.4.1 命题公式间的逻辑等价 9）同一律 A ∧ 1?A A ∨ 0?A 10）排中律 A∨﹁A?1 11）矛盾律 A ∧ ﹁A?0 12）蕴涵律 A→B?﹁A∨B 13）等价律 A?B? (A→B)∧(B→A) 1.4.1 命题公式间的逻辑等价 14）假言易位律 A→B?﹁B→﹁A 15）等价否定律 A ? B?﹁A?﹁B 16）归谬律 ? (A→B)∧(A→﹁B) ?﹁A 由于A,B,C可以代表任意的公式，因而称这样的逻辑等价式为命题定律，每个命题定律都给出了无穷多个同类型的具体的逻辑等价式。 如：在蕴涵律中，取A=P，B=Q时，得逻辑等价式P→Q?﹁P∨Q；当取A=P∨R，B=P∧Q时，得逻辑等价式(P∨R)→(P∧Q)?﹁(P∨R)∨(P∧Q)；这些具体的逻辑等价式都被称为原来命题定律的代入实例。 1.4.2 等价置换 定义1.13 如果X是命题公式A的连续的一部分，且X本身也是一个命题公式，则称X为公式A的子公式。 例1.30 公式(﹁B∧C )是公式(﹁A∧(﹁B∧C ))∨(B∧C )∨(A∧C )的子公式， 但∨(B∧C )却不是公式(﹁A∧(﹁B∧C ))∨(B∧C )∨(A∧C )的子公式， 因为∨(B∧C )虽是公式(﹁A∧(﹁B∧C ))∨(B∧C )∨(A∧C )中连续的一部分，但它自身不是公式。 1.4.2 等价置换 定理1.1（置换规则） 设X是公式A的子公式且X