命题公式等值式.ppt

2016 2.3 命题公式的等值式，蕴含关系式 数学科学学院 季丹丹 一、命题公式的等值式 二、代入规则与替换规则,等值演算 三、蕴含关系式 一、命题公式的等值式 表2-3-1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 下面给出一组基本等值式 一组基本等值式 二、代入规则与替换规则,等值演算 二、代入规则与替换规则,等值演算 例子 分析：王教授只可能是其中一个城市的人或者三城市都不是. 所以，丙至少说对了一半. 因此，可得甲或乙必有一个人全错了. 设P：王教授是苏州人；Q：王教授是上海人；R：王教授是杭州人.则有： 甲：┐P∧Q； 乙：┐Q∧P； 丙：┐Q∧┐R 又因为，若甲全错了，则有┐Q∧P，因此，乙全对. 同理，乙全错则甲全对. 所以丙是一对一错. 故王教授的话可符号化为： 2016