离散数学1.5推理规则和证明方法-1.pdfVIP

§1.5 推理规则和证明方法 在命题逻辑中，除了利用等价关系来判定满足性的判定问题 之外，还有另一种判断问题——推理 推理 ：判定由给定前提是否能推导出某个结论。即推理关心 的是命题 A 是否永真蕴含命题 B。 有两类进行推理的方法： 1、真值表技术 2、基于推理规则 1 一、基于真值表的推理 给定两个命题 A 和 B，若A  B， 则称 B 是 A 的有效 结论 ，或 B 在逻辑上是由 A 推导出来的。判别有效结论的 过程就是论证过程。 推广到有m个前提的情况：设H1,H2,...,Hm,C是一些命题 公式，当且仅当H1H2...HmC，称C是前提集合 {H1,H2,...,Hm}的有效结论。 即证：H1H2...Hm  C为重言式 2 例1：判断下列推理是否正确：