离散数学命题逻辑要点.ppt

* * 一、常用的证明方法 定义1-8.1 设Ａ和Ｃ是两个命题公式，当且仅当Ａ?Ｃ为重言式，即Ａ?Ｃ，称Ｃ是Ａ的有效结论(Valid Consequence)，或称Ｃ可由Ａ逻辑推出。 一般地，如果有n个前提H1,H2,H3,…,Hn，若 H1?H2?H3?....?Hn?C 则称C是一组前提H1,H2,…,Hn的有效结论。 1-8 推理理论(Inference Theory) * * 合法论证：在任何论证中，若前提为真，而从前提推导出结论的论证又遵守了逻辑推理规则，则会公认这种结论也是真。这种论证称为合法论证。在合法论证中，人们关心的只是按照推理规则推出的结论是否正确。 注意： 1-8 推理理论(Inference Theory) 所谓推理规则，乃是确定论证有效性的依据，常以命题公式的形式描述这些推理规则。 * * 有效论证：在形式逻辑中，人们并不关心结论是否真实，而主要关心结论是否可以由给定的前提推出来，人们只注意推理的形式是否正确。从任何前提出发，无论前提是否正确，按照逻辑推理规则推导出的任何结论都是有效结论，这种论证称为有效论证。 有效结论并不一定是正确的，只有正确的前提经过正确的推理得到的逻辑结论才是正确的。 注意： 1-8 推理理论(Inference Theory) * * 证明C是A的有效结论的方法就是判别重言蕴含的方法。前面我们介绍的论证方法有真值表法、等值演算法、主析（合）取范式法。论证方法千变万化，但最基本、最常用的方法有三种。 推理证明的方法： 真值表法 直接证法 间接证法 归谬法（反证法） 附加前提法（CP规则） 1-8 推理理论(Inference Theory) * * 二、真值表法 P Q P∨Q ?Q (P∨Q)∧?Q ((P∨Q)∧?Q)?P 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 构造命题公式H1∧H2∧…∧Hn → C 的真值表，若为永真，H1∧H2∧…∧Hn ? C 推理正确。 例 证明((P∨Q)∧?Q) ? P 由上面真值表可知((P∨Q)∧?Q) ? P。 1-8 推理理论(Inference Theory) * * 三、直接证法 直接证法：由一组前提，利用一些公认的推理规则，根据已知的等价或蕴含公式推演得到有效结论。 常用的推理规则 (1)P规则（也称前提引入规则）：前提在推导过程中的任何时候都可以引用。 (2)T规则：在推导过程中，如果有一个或多个公式重言蕴含着某个公式，则该公式可以引入推导过程中，并可以作为后续证明的前提。 1-8 推理理论(Inference Theory) * * (3) 常用的蕴含式和等价式： 见课本P43 表1-8.3、1-8.4 1-8 推理理论(Inference Theory) * * 例1 如果考试及格，那我高兴。若我高兴，那么我饭量增加。我的饭量没增加，所以我考试没有及格。试对上述论证构造证明。 证 设P：我考试及格。Q：我高兴。R：我饭量增加。 (P→Q)?(Q→R)??R??P 1-8 推理理论(Inference Theory) (1) P→Q P (2) Q→R P (3) ?R P (4) ?Q T(2)(3),I12 (5) ?P T(1)(4),I12 则此论证可表为 * * 例2 证明 R?S是前提C?D，C→R，D→S的有效结论。 证 1-8 推理理论(Inference Theory) (1) C?D P (2) C→R P (3) D→S P (4) C?D→R?D T(2),I15 (5) R?D T(1)(2),I11 (6) D?R T(5),E3 (7) D?R→S?R T(3),I15 (8) S?R T(6)(7),I11 (9) R?S T(8),E3 * * 例3 P∨Q，Q?R，P?S，?S ? R∧(Q∨P) 证 1-8 推理理论(Inference Theory) (1) P? S P