命题逻辑中的推理方法
毕业论文关键词：真值表；主范式；推理
The Inference Method in Propositional Logic
Abstract: This paper firstly introduces the basic knowledge related to inference, starting from the concept and the form structure. Secondly, I have discussed the criterion of right or wrong from the structure of inference in the paper. Finally, there is a summary about inference methods to proof wrong or right, such as the truth table method, equivalent algorithm, principal normal form and the construction using the structure of the inference rules and so on. Especially the construction method, the paper focused on introduces direct proof method, additional premise proof method and reduction to absurdity.
Key words: Truth table; Principal normal form; Inference
目 录
摘 要. 1
引言 2
1.预备知识 3
1.1推理 3
2.真值表法 3
2.1真值表的定义 3
2.2构造真值表的具体步骤 3
3.等值演算法 4
3.1命题公式的类型 4
3.2等值式 4
4．主范式法 5
4.1范式的有关概念 5
5. 利用推理规则的构造证明法 7
5.1推理规则 7
5.2直接证明法 7
5.3附加前提证明法 7
5.4 归谬法 8
6.结束语 9
参考文献 10
致 谢 11
命题逻辑中的推理方法引言
命题逻辑的推理方法是用来研究各学科共同遵从的一般性的逻辑规律,而各科只研究自身的具体规律,所以研究命题逻辑的推理方法在生活和学习中具有重要的意义.命题逻辑实际上是用数学的方法引进了一套符号的系统来研究思文的形式结构和规律的，命题逻辑不仅仅严谨而且思想性很丰富，突出体现在如许多企业的选派、学生考试成绩的推断、陈述合理性判断，甚至各大商业公司套餐的选择等实际性的生活问题中具有突出的表现，为科学的解决实际问题提供了一种非常有效的方法.
命题逻辑是现代逻辑的一个相对基本的部分，相对来说比较简单,它不考虑命题分析成个体词、谓词和量词等非命题成分的组合,它只是研究命题和命题连接词合成的复合命题这一部分,主要研究命题连接词的逻辑推理和规则的性质.命题逻辑可以分为非经典命题逻辑与经典命题逻辑，前者中包括构造逻辑、模态逻辑等逻辑系统中的命题逻辑部分.世界历史上最早开始研究逻辑命题的是古希腊哲学家斯多阿学派.现代对于命题逻辑的研究开始于19世纪中叶的G.布尔.此外G.弗雷格在1879年建立了第一个经典命题逻辑的演算系统.
目前有很多研究命题逻辑中推理方法的文章，他们对推理的形式结构及推理的方法都有所讨论，但仍有不足之处.例如文献[1]中的真值表法只适用于命题变项个数较少的情况，当命题变项个数较多时，真值表法会很繁杂.本文在上述文献的基础上，对命题逻辑的推理方法进行了详细的归纳与总结，具有一定的理论意义和实践价值.
1.预备知识
1.1推理
下一篇：内部排序算法的时间复杂度分析