第1章_命题逻辑.pptVIP

* 命题公式及分类 性质2： （1）设P是永真命题公式，则P的否定公式是永假命题公式； （2）设P是永假命题公式，则P的否定公式是永真命题公式； （3）设P、Q是永真命题公式，则 (P∧Q)、(P∨Q)、(P→Q)、(P ? Q)也是永真命题公式 。 * 命题公式及分类 小 结 1. 命题的概念：定义、逻辑值、 符号化表示 2. 从简单命题到复合命题： 逻辑联接词：运算方法、运算优先级 3. 从命题常量到命题变量， 从复合命题到命题公式： 命题公式的真值描述：真值表 4. 命题公式的分类： 永真公式、永假公式、可满足公式 、一般公式 * Propositional Equivalences 设A，B为两命题公式，若等价式A?B是重言式，则称A与B是等值的。记作A?B。 (The propositions A and B are called logically equivalent if A?B is a tautology. The notation A?B denotes that A and B are logically equivalent.) 逻辑等值，或逻辑等价 DEFINITION 6. 命题逻辑 等值演算 3 * 证明﹁( p∨q )与﹁p∧﹁q 是等值的。 （这个等值关系是德·摩根(De Morgan)定律之一。德·摩根是十九世纪中叶的英国数学家。） 解答：真值表见Table 9。因为对于p和q 所有可能的组合， ﹁(p∨q)和﹁p∧﹁q的真值都相同，所以这两个命题是等值的。 EXAMPLE 11 等值演算 * Table 9 Table9 ﹁( p∨q )与﹁p∧﹁q的真值表 p q p∨q ﹁( p∨q ) ﹁p ﹁q ﹁p∧﹁q 0 0 0 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 等值演算 * 证明p→q 与﹁p ∨q 是等值的。 解答：真值表见Table 10。因为对于p和q 所有可能的组合， p→q 和﹁p∨q的真值都相同，所以这两个命题是等值的。 EXAMPLE 12 等值演算 * Table 10 Table10 p→q与﹁p∨q 的真值表 p q p→q ﹁ p ﹁ p∨q 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 等值演算 * 证明p∨(q∧r)与 (p∨q)∧(p∨r) 是等值的。（分配律） 解答：真值表见Table 11。因为对于p、q和r所有可能的组合， p∨(q∧r) 和(p∨q)∧(p∨r) 的真值都相同，所以这两个命题是等值的。 EXAMPLE 13 等值演算 * Table 11 Table11 p∨(q∧r)与 (p∨q)∧(p∨r)的真值表 p q r q ∧r p∨(q∧r) p∨q p∨r (p∨q)∧(p∨r) 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 等值演算 * 下面给出24个重要的等值式（祥见P9）：双重否定律、等幂律、交换律、结合律、分配律、德·摩根律、吸收律、零律、同一律、排中律、矛盾式、蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论。 根据已知的等值式，推演出另外一些等值式的过程称为等值演算。在进行等值演算时，往往用到置换规则。 等值演算 * 证明﹁(p∨(﹁p∧q))与﹁p∧﹁q是等值的。 EXAMPLE 14 0 0 等值演算 * 证明(p∧q) → (p∨q)是重言式。 EXAMPLE 15 1 1 1 等值演算 * 判断命题公式逻辑等价的方法： 1. 真值表 2. 命题公式的演算 基本等值定理； 公式的代入不变性（置换规则）； 等值关系的传递性。 等值演算 * 命题公式逻辑等价关系的应用： 1、判定是否逻辑等价（等值）； 2、判断是否为永真公式或永假公式； 3、命题公式的化简。 等值演算 * 设p,q