1.8推理理论.pptVIP

离散数学(Discrete Mathematics) 医学信息工程系 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) 1.8.1常用的证明方法 1.8.2真值表法 (Truth Table) 1.8.3直接证法 (Direct Proof) 1.8.4 间接证法 (Indirect Proof)1.8.1常用的证明方法 定义1.8.1 ：设Ａ和Ｃ是两个命题公式,当且仅当Ａ?Ｃ为一重言式，即Ａ?Ｃ,称Ｃ是Ａ的有效结论;或称Ｃ可由Ａ逻辑推出.一般地,如果有n个前提H1,H2,H3,.…,Hn , 若H1?H2?H3?....?Hn?C,则称C是一组前提H1,H2,…,Hn的有效结论。 注意:在形式逻辑中,我们并不关心结论是否真实,而主要关心结论是否可以由给定的前提推出来,我们只注意推理的形式是否正确.因此,有效结论并不一定是正确的,只有正确的前提经过正确的推理得到的逻辑结论才是正确的. 证明C是A的有效结论的方法就是判别重言蕴含的方法.前面我们介绍的论证方法有真值表法、等值演算法、主析（合）取范式法。论证方法千变万化，但最基本、最常用的方法有三种： 推理证明的方法 1.8.2真值表法 (Truth Table) 构造命题公式H1 ∧ H2 ∧ …… ∧ Hn → C的真值表，若为永 真，H1 ∧ H2 ∧