离散数学-命题逻辑2013下.ppt

习题选讲 ①直接证法： (1) ?(S?R) P (2) S? ? R T(1),E (3) (S??R)?(?R?S) T(2),E (4) ?R?S T(3),I (5)S?E P (6) ?R?E T(4)(5),I (7)E??B P (8) ?R??B T(6)(7),I (9)B?R T(8),E 习题选讲 ②间接证法： a) (1) ?(S?R) P (2) S? ? R T(1)E (3) (S??R)?(?R?S) T(2)E (4) ?R?S T(3)I (5) ?(B?R) P(附加前提) (6)B??R T(5)E (7)B T(6)I (8)?R T(6)I (9)S T(4)(8)I 习题选讲 (10) S?E P (11)E T(4)(10) (12)E??B P (13) ?B T(11)(12) (14)B??B 矛盾(7)(13) b) (1)B P(附加前提) (2)E??B P (3)?E T(1)(2) (4) S?E P §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(1)(2)I (4) Q ? R P (5) R T(3)(4)I 也可以这样推理： 　 (1) P?Q P 　 (2) Q ?R P (3) P?R T(1)(2)I §1.8 推理理论 (4) P P (5) R T(3)(4)I 例2 证明： (