离散数学第一章第八节.pptVIP

§1.8 推理理论 按公认的推论规则，从前提集合中推导出一个结论来，这样的推导过程称为演绎，或者叫形式证明。 在任何论证中，若认定前提是真的，且从前提集合推导出结论的论证是遵守了逻辑规则的，则我们称此结论是有效地或合法的。 根据逻辑规则推导出来的任何结论称为有效结论。 §1.8 推理理论 [定义]给定二个命题公式Ａ和Ｂ，当且仅当Ａ→Ｂ是一个永真式，称Ｂ可以由Ａ逻辑的推出，或称Ｂ是前提Ａ的有效结论。 [定义]设H1，H2,…Hm,Ｃ都是命题公式，当且仅当H1 ∧ H2 ∧ … ∧ Hm ?Ｃ，才可以说Ｃ是前提集合｛ H1，H2,…Hm ｝的有效结论。 §1.8 推理理论 判别有效结论的过程就是论证过程，论证方法千变万化，但基本方法有： （一）真值表技术； （二）直接证法；（利用推理规则） （三）间接证明法。 真值表法： 从给定真值表常用的判断方法有二种： （１）检查真值表中H1，H2,…Hm全部为“Ｔ”的所有行，看结论Ｃ是否也均为“Ｔ”，若Ｃ均为“Ｔ”，则结论有效。否则结论无效。 （２）看结论Ｃ为“Ｆ”的所有行，在每一个这样的行中，前提H1，H2,…Hm 的真值中若至少有一个为Ｆ，则结论有效；若前提H1，H2,…Hm 的真值中均为“Ｔ” ，则结论无效。 例：试证明下列结论是否有效： 　　　　　　　　 画出真值表： §1.8 推理理论 由真值表可见： （１）Ｐ，Ｐ→Ｑ?Ｑ　　　　　　　有效 （２）Ｐ→Ｑ，?Ｐ?Ｑ　　　　　　 无效 （３）Ｐ→Ｑ， ? （Ｐ∧Ｑ） ? ?Ｐ 　 有效 （４） ?Ｐ，Ｐ?Ｑ? ? （Ｐ∧Ｑ）　 有效 §1.8 推理理论 （５）Ｐ→Ｑ，Ｑ?Ｐ　　 　　　　无效 例：H1：如果大连是一个大城市，则大寨是 一个乡村； Ｐ→Ｑ H2：大寨是一个乡村；　　Ｑ Ｃ：大连是一个大城市；　　Ｐ 则：Ｐ→Ｑ，Ｑ?Ｐ 或者称：Ｐ不能从前提集合中推导出来。 §1.8 推理理论 ２．推理（论）规则： 从这节开始，我们只讨论命题论证的有效性，而不去讨论命题的真假值； ∴在推论规则中不需要有真值表，也不需要对命题进行真值指派。 推理规则的依据是常用的永真蕴含式和等价公式。 　　I1　Ｐ?Ｐ∨Ｑ；　　　Ｑ?Ｐ∨Ｑ 　　I2　Ｐ?Ｑ?Ｐ；　　　 Ｐ?Ｑ?Ｑ 　　I3　Ｐ，Ｐ→Ｑ?Ｑ 　　　 §1.8 推理理论 I4 （Ｐ→Ｑ）， ?Ｑ? ?Ｐ I5 ?Ｐ，（Ｐ∨Ｑ） ?Ｑ I6 （Ｐ→Ｑ），（Ｑ→Ｒ） ? （Ｐ→Ｒ） I7 （Ｐ→Ｑ） ? （（Ｑ→Ｒ）→（Ｐ→Ｒ）） I8 （Ｐ→Ｑ），（Ｒ→Ｓ） ? （Ｐ∧Ｒ→Ｑ∧Ｓ） I9 （Ｐ?Ｑ），（Ｑ?Ｒ） ? （Ｐ?Ｒ） I10 ?Ｐ?Ｐ→Ｑ §1.8 推理理论 下面介绍二个规则： P规则：在推导的任何步骤上都可以引入前提（条件） T规则：在推导过程中，如果前面有一个或多个公式永真蕴含S，则可以把S引入推导过程之中。 例1：证明：P?Q,Q ? R,P?R 推理过程： §1.8 推理理论 步骤 推理过程 规则 根据 (1) P?Q P (2) P P (3) Q T I(1)(2) (4) Q ? R P (5) R T I(3)(4) 也可以这样推理： 　 (1) P?Q P 　 (2) Q ?R P (3) P?R T I(1)(2) §1.8 推理理论 (4) P P (5) R T I(3)(4) 例2 证明： (P∨Q),(P ?R),(Q ?S)?S∨R (1) (P∨Q) P (2) ? P ?Q T(1) E16 (3) Q ?S P (4) ? P ?S T(2)(3) I6 (5) ? S ?P T(4) E18 §1.8 推理理论 (6) P ?R P