第1篇_命题逻辑.ppt

* 命题公式及分类 EXAMPLE 10 求下列命题公式的真值表：（2）( p∧ ( p→q )) →q . Table7 ( p∧ ( p→q )) →q 的真值表 p q p→q p∧(p→q) (p∧(p→q))→q 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 * 命题公式及分类 EXAMPLE 10 求下列命题公式的真值表：（3）﹁ ( p→q ) ∧ q . Table8 ﹁ ( p→q ) ∧ q 的真值表 p q p→q ﹁(p→q) ﹁(p→q)∧q 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 * 命题公式及分类 永真式(Tautology)：公式中的命题变量无论怎样代入，公式对应的真值恒为1。 永假式(Contradiction)：公式中的命题变量无论怎样代入，公式对应的真值恒为0。 可满足式(Satisfaction)：公式中的命题变量无论怎样代入，公式对应的真值总有一种情况为1。 一般命题公式(Contingency)：既不是永真公式也不是永假公式。 * 命题公式及分类 性质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