联结词全功能集3(张)联结词全功能集3(张).ppt

联结词全功能集;回顾;例 应用题;设命题 p：王教授是苏州人。 q：王教授是上海人。 r：王教授是杭州人。 p,q,r中或者全假; 或者有一个真命题，两个假命题。 甲说王教授不是苏州人，是上海人 A=┐p∧q 乙说王教授不是上海人，是苏州人 B=p∧┐q 丙说王教授既不是上海人，也不是杭州人 C=┐q∧┐r ;;根据王教授说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。 可知：A，Ｂ，Ｃ恰有一个为真，于是可得 ｐｑｒ的赋值只能是０００或０１０。 如果是０００，则甲、乙都说对了一半，与已知不符；所以ｐｑｒ的赋值为０１０。即王教授是上海人。;联结词全功能集 ;排斥或（异或,排斥或） 两个命题公式P和Q的排斥或是一个新命题公式， 记作P Q。当且仅当P、Q真值不同时， P Q 为T， 其他情况下的真值都是F。 ;异或联结词的性质： （1）P Q ?（P∧┐Q）∨（┐P∧Q） （2）P Q? ┐(P?Q） （3）P P?0，0 P ? P，1 P ? ┐P （4）P Q?Q P 交换律 （5）（P Q） R ?P （Q R） 结合律 （6）P∧（Q R）?（P∧Q） （P∧R）分配律 （课后习题）;与非 设P和Q是两个命题公式， P和Q的与非是一个新命题公式，记作P ? Q。当且仅当P和Q的真值都为 T时， P ? Q 为F ，其他情况下P ? Q的真值都是T 。（ ? 读为“竖”） 根据此定义，可知 P ? Q ? ┐（P∧Q）;或非 设P和Q是两个命题公式， P和Q的或非是一个新命题公式，记作P ? Q。当且仅当P和Q的真值都为 F 时， P ? Q 为T ，其他情况下P ? Q的真值都是F 。（ ? 读成“箭”） 根据此定义，可知 P ? Q ? ┐（P ∨ Q）;真值函数 ;命题公式与真值函数 ;2元真值函数对应的真值表（书上表1-6）;联结词的全功能集 ;联结词的全功能集(续);联结词的全功能集实例;例 如已知{?, ?}是全功能集，证明{?, ?}也是全功能集 证： 因为{?, ?}是全功能集，任意一个真值函数可以用 {?, ?}联结词的命题公式表示。 对于任意的命题公式，A ?B ? ?A ?B,因此任意一个真值函数可以用{?, ?}联结词的命题公式表示。 例 ?p ? ?(p ? p) ? p ? p ?p ? ?(p ? p) ? p ? p p ? q ? ?(?p ? ? q) ? (? p) ? (? q) ? ( p ? p) ? ( q ? q) ;