苏xi友无密码课件 第1章 命题逻辑.ppt

§3 等值演算 （2）解法2： ?((p→q)∧p→q)∧r ??((?p∨q)∧p →q)∧r ??(?((?p∨q)∧p)∨q)∧r ?(((?p∨q)∧p)∧?q)∧r ?(?p∨q)∧p∧?q∧r ?(?p∨q)∧(p∧?q)∧r ??(p∧?q)∧(p∧?q)∧r ?0∧r ?0 故（2）为矛盾式（永假式）. 北京林业大学信息学院 苏喜友 * §3 等值演算 （3）p∧((p∨q)∧?p→q) ?p∧(?((p∨q)∧?p)∨q) ?p∧((?(p∨q)∨p)∨q) ?p∧(?(p∨q)∨p∨q) ?p∧(?(p∨q)∨(p∨q)) ?p∧1 ?p 易知, 10,11是它的成真赋值；00,01是它的成假赋值. 故（3）不是重言式，也不是矛盾式, 是非重言式的可满足式. 北京林业大学信息学院 苏喜友 * §4 联结词全功能集 Def.1 设p、q为两命题, 复合命题“p、q之中恰有一个成立”称为p与q的排斥或或异或, 记作p q 称 为排斥或或异或联结词. p q为真当且仅当 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 0 ≯ ≯ 北京林业大学信息学院 苏喜友 * §4 联结词全功能集 Def.2 设p、q为两命题, 复合命题“p与q的否定”称为p与q的与非式, 记作p↑q.↑称为与非联结词. p↑q为真当且仅当p、q不同时为真. 显然, p↑q为假当且仅当p、q同时为真. 由此得p↑q的真值表： 故 p↑q??(p∧q) p q p↑q p∧q 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 北京林业大学信息学院 苏喜友 * §4 联结词全功能集 Def.3 设p、q为两命题，复合命题“p或q的否定”称为p与q的或非式, 记作p↓q.↓称为或非联结词. p↓q为真当且仅当p、q同时为假. 显然, p↓q为假当且仅当p、q至少一个为真。 由此得p↓q的真值表： 故 p↓q??(p∨q) p q p↓q p∨q 0 0 0 1 1 0 1 1 1 0 0 0 0 1 1 1 北京林业大学信息学院 苏喜友 * §4 联结词全功能集 Def.4 在一个联结词集中, 如果一个联结词可由集合中的其它联结词定义, 则称此联结词为冗余联结词, 否则称为独立联结词. 在{?,∧,∨,→,?}中, 由于 A→B??A∨B； A?B?(A→B)∧(B→A) ?(?A∨B)∧(?B∨A). 所以→、?都是冗余的. 考虑{?,∧,∨}中， A∨B? ??(A∨B)??(?A∧?B) 所以∨也是冗余的. 但在{?,∧}中无冗余联结词。同理, {?,∨}、{?, →}中无冗余联结词. 北京林业大学信息学院 苏喜友 * §4 联结词全功能集 Def.5 若任一真值函数都可以用仅含某一联结词集中的联结词的命题公式表示, 则称该联结词集为全功能集或功能完备集. 若一个联结词的全功能集中不含冗余的联结词, 则称它是极小全功能集或极小功能完备集. 可证, {?,∧,∨,?,?}, {?,∧,∨,?,?, }, {?,∧,∨,?,?,↑,↓}, {?,∧,∨}, {?,∧}, {?,∨}, {?,?}, {↑}, {↓}等都是全功能集. 其中, {?,∧}, {?,∨}, {?,?}, {↑}, {↓}等都是极小全功能集. ≯ 北京林业大学信息学院 苏喜友 * §4 联结词全功能集 Exp.1 若已知{?,?}是全功能集, 证明{?,∨}也是全功能集. 证明 由于{?,?}是全功能集, 因而任一真值函数均可用仅含{?,?}中的联结词的命题公式表示. 而对于任意的命题公式A、B, 有A?B??A∨B, 因而任一真值函数均可用仅含{?,∨}中的联结词的命题公式表示, 所以它是全功能集. 北京林业大学信息学院 苏喜友 * §4 联结词全功能集 Exp.2 证明{↑}, {↓}是极小全功能集. 证明：已知{?,∧}是全功能集, 而 ?A??(A∧A)?A↑A, A∧B???(A∧B)??(A↑B)? (A↑B)↑(A↑B). 因而, 任一真值函数均可用仅含↑的命题