离散数学课件：1-6 公式的蕴含关系.ppt

逻辑的一个重要功能是研究推理. 固然，依靠 等价关系可以进行推理. 但是，进行推理时，不必 一定要依靠等价关系，只需是蕴含关系就可以了. 与公式P?Q有关的几个公式 逆换式： Q ? P 反换式： ?P? ?Q 逆反式：?Q??P P?Q ? ?Q??P Q ? P ? ?P? ?Q （二）证明蕴含式P?Q的方法 * * 又如，若行列式两行成比例，则行列式值为0， 例如，若三角形等腰，则两底角相等， 所以，这个行列式值为0. 所以，这个三角形两底角相等. 这个三角形等腰， 这个行列式两行成比例， 上面两个例子的推理关系涵义不同，但依据的推理规则相同，推理形式为：  若P则Q，P，所以Q. 推理的正确性与命题P，Q涵义无关，只决定于逻辑形式，命题逻辑中用公式表示命题，命题间演绎推理关系，反映为公式间逻辑蕴含关系。 六、公式的蕴含关系 (一)蕴含关系的概念 蕴含式(implication)：当且仅当命题公式P?Q为重言式时，称“P蕴含Q”，记为P?Q，它又称为逻辑蕴含式. 蕴含式的理解 符号?不是联结词，它表示公式间的“永真蕴含”关系，也可以看成是“推导”关系. 即P?Q可以理解成：由P可推出Q. 当P?Q 为永真时，则认为“由P可推出Q” 即由P为真，可以推出Q也为真. 六、公式的蕴含关系 方法1： 列真值表，证明P?Q为永真式(略). 下面讨论另外两种方法. 先看P?Q的真值表： Q P F F T F F T T T P?Q T T F T 于是有下面两种证明方法： 方法2： 假设前件P为T，推出后件Q也为T. 方法3： 假设后件Q为F，推出前件P也为F. 六、公式的蕴含关系 如果P?Q为永真式，则下述真值表的第二组指派不会出现. 证： 设? P ? (P ? Q)为T ， 则? P 和P ? Q为T ， 那么 P为F ， 再由P ? Q为T ， 得知Q为T. 证： 设P?R为F ， 则P为T且 R为F ， 若 Q为T ， 则 Q?R为F ； 若 Q为F ， 则 P?Q为F. 故(P?Q) ?(Q?R)为F. 例1.6.1 证明? P ? (P ? Q)?Q. 例1.6.2 证明(P?Q) ?(Q?R)? P?R. 六、公式的蕴含关系 例1.6.3 求证： ((A ? B)? C) ? ? D ? (? C ? D)? ? A ? ? B . 证： 假设前件((A ? B)? C) ? ? D ? (? C ? D)为T，则 (A ? B)? C, ? D, ? C ? D 均为T. 由? D为T， 则D为F. 又? C ? D为T， 得? C 为T， 即C 为F. 又(A ? B)? C为T， 得A ? B为F. 而? A ? ? B ? ? (A ? B) ， 所以， ? A ? ? B 为T，得证. 解法1：假设前件为T，推出后件也为T. 六、公式的蕴含关系 证： 假设后件? A ? ? B为F， 则A 与 B均为T. (1)如C为F， 所以前件((A ? B)? C) ? ? D ? (? C ? D)为F. 则(A ? B)? C为F， (2)如C为T，则 (a)如D为T， 则? D为F， 所以前件((A ? B)? C) ? ? D ? (? C ? D)为F. (b)如D为F， 则? C ? D为F， 所以前件((A ? B)? C) ? ? D ? (? C ? D)为F. 综上得证. 解法2：假设后件为F，推出前件也为F. 例1.6.3 求证： ((A ? B)? C) ? ? D ? (? C ? D)? ? A ? ? B . 六、公式的蕴含关系 证： 由D ? E, (D ? E) ?? A均为T， 得? A 为T， 又由? A?(B ? C)为T， 得B ? C为T，得证. 反证： 设前件为T，并假设后件B ? C为F. 又? A?(B ? C)为T， 得? A为F. 而(D ? E) ?? A为T， 得D ? E为F. 这与D ? E为T矛盾. 假设不成立. 得证. 例1.6.4(1-5习题的(8)e) e)证明? A?(B ? C), D ? E, (D ? E) ?? A ? B ? C 设前件(? A?(B ? C) )?( D ? E) ? ((D ? E) ?? A) 为T，则 ? A?(B ? C), D ? E, (D ? E) ?? A 均为T. 六、公式的蕴含关系 1. P ? Q 2. P ? Q 化简 ? P ? Q 3. P 附加 ? P ? Q 4. Q ? P ? Q 5. ? P ? P ? Q