山东科技大学-离散数学离散数学15.ppt

*;*;第一章

第5讲§1—8推理理论;在数理逻辑中，集中注意的是研究和提供用来从前提导出结论的推理规则和论证原理，这些规则有关的理论称为推理理论。

在实际应用的推理中，我们常常把本门学科的一些定律、定理和条件，作为假设前提，尽管这些前提在数理逻辑中实非永真，但在推理过程中，却总是假设这些命题为T，并使用一些公认的规则，得到另外的命题，形成结论，这种过程就是论证。

注意，必须把推理的有效性和结论的真实性区别开。;一、有效结论

1.定义

定义1-8.1设A和C是两个命题公式，当且仅当A→C为一重言式，即A?C，称C是A的有效结论。或C可由A逻辑地推出。;二、证明方法;*;1.真值表法;例题1一份统计表格的错误或者是由于材料不可靠，或者是由于计算有错误；这份统计表格的错误不是由于材料不可靠，所以这份统计表格是由于计算有错误。;我们列出真值表1-8.1如下;例题2如果张老师来了，这个问题可以得到解答，如果李老师来了，这个问题也可以得到解答，总之张老师或李老师来了，这个问题就可得到解答。;列出真值表;*;*;2.直接证法

直接证法就是由一组前提，利用一些公认的推理规则，根据已知的等价或蕴含公式，推演得到有效的结论。;常用的蕴含式（43页表1