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

第二章:命题逻辑等值演算 主要内容： 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 本章与其他各章的联系 是第一章的抽象与延伸 是后续各章的先行准备 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名与会者根据王教授的口音对他是哪个省市的人判断如下： 甲：王教授不是苏州人，是上海人 乙：王教授不是上海人，是苏州人 丙：王教授既不是上海人，也不是