[联结词全功能集3张.pptVIP

联结词全功能集 福建师范大学数学与计算机科学学院 回顾 命题符号化 （符号） 联结词 （运算） 等值演算 （运算律与化简） 用等值演算法证明公式类型 用等值演算法证明等值式 求解实际问题 例 应用题 在某次研讨会的中间休息时间，3名与会者根据王教授的口音对他是哪个省市的人进行了判断： 甲说王教授不是苏州人，是上海人。 乙说王教授不是上海人，是苏州人。 丙说王教授既不是上海人，也不是杭州人。 听完以上3人的判断后，王教授笑着说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。试用逻辑演算法分析王教授到底是哪里人？ 设命题 p：王教授是苏州人。 q：王教授是上海人。 r：王教授是杭州人。 p,q,r中或者全假; 或者有一个真命题，两个假命题。 甲说王教授不是苏州人，是上海人 A=┐p∧q 乙说王教授不是上海人，是苏州人 B=p∧┐q 丙说王教授既不是上海人，也不是杭州人 C=┐q∧┐r 根据王教授说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。 可知：A，Ｂ，Ｃ恰有一个为真，于是可得 ｐｑｒ的赋值只能是０００或０１０。 如果是０００，则甲、乙都说对了一半，与已知不