第二章命题逻辑等值演算.ppt

第二章:命题逻辑等值演算 主要内容： 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 本章与其他各章的联系 是第一章的抽象与延伸 是后续各章的先行准备 2.1 等值式 若等价式A?B是重言式，则称A与B等值，记作A?B，并称A?B是等值式 几点说明： 定义中，A, B, ?均为元语言符号 A或B中可能有哑元出现. 例如，在 (p?q) ? ((?p?q)? (?r?r)) 中，r为左边公式的哑元. 用真值表可验证两个公式是否等值 2.1 等值式 如果命题变项很多，怎么办？ -- 利用已知的等值式通过代换得到新的等值式 命题：设A是一个命题公式，含有命题变项p1，p2，…，pn，又设A1，A2，…，An是任意的命题公式. 对每个i（i=1，2，…，n），把pi在A中的所有出现都替换成Ai，所得到的新命题公式记作B. 那么，如果A是重言式，则B也是重言式. 2.1 等值式 3．解判定问题 在某次研讨会的中间休息时间，3名与会者根据王教授的口音对他是哪个省市的人判断如下： 甲：王教授不是苏州人，是上海人 乙：王教授不是上海人，是苏州人 丙：王教授既不是上海人，也不是杭州人 听完这3人的判断后，王教授笑着说，你们3人中有一人说得全对，有一人说对了一半，另一人说得全不对。试用逻辑演算分析王教授到底是哪里人。 2.2 析取范式和合取范式 1. 求公式的成真与成假赋值 例：(p??q)?r ? m1?m3?m5? m6?m7 成真赋值为001, 011, 101, 110, 111 成假赋值为000, 010, 100 2.2 析取范式和合取范式 2. 判断公式的类型 设A含n个命题变项 A为重言式 ? A的主析取范式含2n个极小项 ? A的主合取范式为1 A为矛盾式 ? A的主析取范式为0 ? A的主合析取范式含2n个极大项 A为非重言式的可满足式 ? A的主析取范式中至少含一个（但不是全部）极小项 ? A的主合取范式中至少含一个（但不是全部）极大项 2.2 析取范式和合取范式 2. 判断公式的类型 例： 用公式的主析取范式判断下述公式的类型： （1）?( p? q) ? q （2）p?( p? q) （3）( p? q) ?r 2.2 析取范式和合取范式 3. 判断两个命题公式是否等值 例： 用主析取范式判两个公式是否等值 ⑴ p?(q?r) 与 (p?q)?r ⑵ p?(q?r) 与 (p?q)?r 解： p?(q?r) ? m0?m1?m2?m3? m4?m5? m7 (p?q)?r ? m0?m1?m2?m3? m4?m5? m7 (p?q)?r ? m1?m3? m4?m5? m7 显见，⑴中的两公式等值，而⑵的不等值. 作业 5（2） 6（2） 15 27 29 * * * * * * * * * 练习2：联结词完备集 2．将A = (p??q)?r改写成下述各联结词集中的公式: (1) {?, ?, ?} (2) {?, ?} (3) {?, ?} (4) {?, ?} (5) {?} (6) {?} 解 (1) (p??q)?r ? (?p??q)?r (2) (p??q)?r ? ?(p?q)?r (3) (p??q)?r ? (?p??q)?r ? ?(?(?p??q)??r) 练习2 解答 (4) (p??q)?r ? ?(?(p??q)??r) ? ?((p??q)??r) (5) (p??q)?r ? ?(p?q)?r ? (p?q)?r ? ? ?((p?q)?r) ? ((p?q)?r)?((p?q)?r) (6) (p??q)?r ?(?p