1-5重言式及蕴含式.pptVIP

1-5 重言式与蕴含式 本节 重点 重言式、矛盾式和蕴含式。 难点 重言式的推导方法 。 要求 掌握重言式与蕴含式的概念； 掌握重言式与等价式的关系； 掌握重言式与蕴含的关系。 1、重言式－概念（重言式） 定义1-5.1 给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为重言式或永真公式。 例如：表1-4.4 1、重言式－概念（矛盾式） 定义 1-5.2 给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为F，则称该命题为矛盾式或永假式。 例如：表1-4.2 1、重言式－性质1 定理 1-5.1 任何两个重言式的合取或析取，仍然是一个重言式。 定理1-5.2 一个重言式，对同一分量都用任何合式公式置换，其结果仍为一重言式。 对于矛盾式，有和定理 1-5.1，定理 1-5.2同样的结果。 1、重言式－举例 例题1 证明((P ? S) ? R) ? ? ((P ? S) ? R) 是重言式。 1、重言式－性质2 定理1-5.3 设A，B为两个命题公式，A ? B当且仅当A ? B为一个重言式。 证明方法（从两个方面） 例题2 证明?(P ? Q) ? (? P ? ? Q) 2、蕴含式－概念 定义1-5.3 当且仅当P?Q是一个重言式时，我们称“P蕴含Q”，并记作P?Q。 注意：P?Q不是对称式 逆换式：Q ? P 反换式：? P ? ? Q 逆反式：? Q ? ? P 由真值表可见： P ? Q ? ? Q ? ? P Q ? P ? ? P ? ? Q 即：条件命题公式与其逆反式是等价的。 2、蕴含式－证明方法 根据蕴含式的定义：要证P ? Q，只需证P ? Q是重言式。 对于P?Q来说，只有P的真值取T，Q的真值取F这样一种指派时， P ? Q的真值为F。 证明P ? Q是重言式方法： 证法一：假设前件P为T时，导出后件Q为T。 证法二：假设后件Q为F时，前件P为F。 2、蕴含式－证明举例 例题1 推证?Q?(P ? Q) ? ? P 表1-5.2 （p21） 理解识记（可采用上述类似方法） 2、蕴含式－性质1 定理1-5.4 设P、Q为任意两个命题公式，P ? Q的充分必要条件是P ? Q且Q ? P。 总结两个命题公式等价的证明方法？ 2、蕴含式－性质2 蕴含的常用性质： （1）设A、B、C为合式公式，若A ? B且A是重言式，则B必是重言式。 （2）若A ? B，B ? C，则A ? C，即蕴含关系是传递的。 （3）若A ? B，且A ? C，那末A ? (B ? C)。 （4）若A ? B，C ? B，则(A ? C) ? B 小结 重言式概念及基本性质 蕴含式概念 蕴含式的证明方法 理解识记表1-5.2 总结等价公式的证明方法 作业 P23 (1)bd(2)b(8)f 第一章 数理逻辑 1-5 重言式与蕴含式 * 讲授人：胡 盛 F F T T T F F T Q T F T T P?Q P