1.4 联结词的扩充与归约.pptVIP

南京信息工程大学数理学院 问题： 给定n个命题变元，按命题公式的形成规则可以得到无数多个命题公式。在这些无穷尽的命题公式中，如要按照真值表是否相同进行分类，共可以分成多少类？ 答案：22n n元命题公式共有2n个不同的指派，而在每一种指派下该命题公式的真值都有真、假两个可能，因此对于2n个不同的指派就只有22n个不同的真假二值的排列。一个排列就相当于某一个n元命题公式的真值表中的最后一列。 即共有 22n张不同真值表。 1. 一元运算 与非联结词↑将原子命题P、Q组成新的复合命题： “ P而且Q是不成立的”，记为P↑Q ，读作“P与非Q ”。 P↑Q 称为Ｐ与Ｑ的与非式。 P↑Q ? ?(P∧Q) P↑Q 为假当且仅当P和Q皆为真。 或非联结词↓将原子命题P、Q表示组成新的复合命题： “P或者Q是不成立的”，记为P↓Q ，读作“P或非Q ”。 P↓Q 称为 P与Q 的或非式。 P↓Q ? ?(P∨Q) P↓Q 为真当且仅当P和Q皆为假。 蕴含联结词?将原子命题P、Q组成新的复合命题： “如果P那么Q ，并非如此”， 记为P?Q。 P?Q 称为P与Q的蕴含否定式。 P?Q ? ?(P→Q) P?Q 为真当且仅当 P为真且Q为假。 异或联结词⊕将原子命题P、Q 组成新的复合命题： “Ｐ或者Ｑ之一成立