离散数学课件：1-4 其它 联 结 词 .ppt

不可兼析取 全功能联结词组：如果任一命题公式，都可以用仅含某一联结词集中的联结词的命题公式来表示，则该集合为全功能联结词组。 {?, ?, ?, ?, ?, , , ? , ?}是全功能联结词组 冗余联结词和独立联结词：在联结词集合中, 如果一个联结词可以由集合中其它的联结词来定义, 称为冗余联结词;否则为独立联结词。 最小联结词组：没有冗余联结词的全功能联结词组. 最小联结词组必是全功能联结词。 * * 四、 其 它 联 结 词 前面介绍了五种联结词(?, ?, ?, ?, ?)，下面再介绍四种： 不可兼析取 条件否定 与非? 或非? (一)其它联结词 两个命题公式P和Q的不可兼析取是一个新命题公式，记作P Q. 当且仅当P, Q真值不同时， 为T. F T T F F F F T T F T F T T T T P ? Q Q P 四、其它 联 结 词 设P、Q、R为命题公式 (1) P Q ? Q P (2) (P Q) R ? P (Q R) (5) (P Q) ? ? (P ? Q) (4) (P Q) ? (P ? ? Q) ?(? P ? Q) (3) P ? (Q R) ? (P ? Q) (P ? R) P, T P ? ? P. (6)P P ? F, F P ? 交换律 结合律 分配律 注意：性质(4)是联结词 向其它联结词的转化，也表达了 的真正含义. 异或 不可兼析取联结词的性质 四、其它 联 结 词 证： 若P Q ? R，则 P R ? P P Q ? F Q ? Q Q R ? Q P Q ? F P ? P P Q R ? R R ? F 不可兼析取联结词的性质定理 定理 设P, Q和R为命题公式. 若P Q ? R， 则P R ? Q，Q R ? P，且P Q R为矛盾式. 四、其它 联 结 词 条件否定 设P和Q是两个命题，P和Q的条件否定是一个新命题公式，记为P Q. 当且仅当 P的真值为T , Q的真值为F时, P Q真值为T. P Q ? ?(P ? Q) F F T F P Q T T F T P ? Q F F T F F T T T Q P 四、其它 联 结 词 与非 设P和Q是两个命题公式，P和Q的与非是一个新命题公式，记作P ? Q. 当且仅当P和Q的真值都为T时， P ? Q为F. P ? Q? ?(P ? Q). T T T F P ? Q F F F F T F F F T T T T P ? Q Q P 四、其它 联 结 词 (1) (P ? P) ? ? (P ? P) ? ? P (3) (P ?P) ?(Q ?Q) ? ? P ? ? Q ?? (? P ? ? Q) ?P ? Q (2) (P ?Q) ?(P ?Q) ? ? (P ? Q) ? P ? Q 可见，联结词?, ?, ?均可转化为联结词? . 联结词?的性质 四、其它 联 结 词 或非 设P和Q是两个命题公式，P和Q的或非是一个新命题公式，记作P ?Q. 当且仅当P和Q的真值都为F 时， P ? Q为T . P ? Q? ?(P ? Q). T F F F P ? Q F F F T T F T F T T T T P ? Q Q P 四、其它 联 结 词 (1) (P ? P) ? ? (P ? P) ? ? P (3) (P ? P) ?(Q ? Q) ? ? P ? ? Q ?? (? P ? ? Q) ?P ? Q (2) (P ? Q) ?(P ? Q) ? ? (P ? Q) ? P ? Q 可见，联结词?, ?, ?均可转化为联结词? . 联结词?的性质 四、其它 联 结 词 (二) 最小联结词组 四、其它 联 结 词