经典命题演算的能行方法研究
经典命题演算的能行方法研究具有重要的理论意义和现实价值。在经典命题逻辑的常见公理系统中，仅以公理和推理规则为工具进行定理的形式证明，往往不易找到证明的出发点，对于初学者而言尤为困难。过去通常认为经典命题演算没有能行方法，但从未有过严密论证认定经典命题演算的能行方法不存在。本文试图建立一套能行程序，使经典命题演算实现能行化。通过对经典命题演算能行方法的研究，不仅可以深刻揭示经典命题演算特有的内在规律，进一步丰富数学定理机器证明理论，为其他各类逻辑演算的能行证明问题提供一种有价值的新方法，还可以改进数理逻辑课程的教学，拓宽逻辑学研习者的思路，使其更全面地掌握逻辑演算的技术要领。经典命题演算能行方法的给出，可以进一步发展数理逻辑的知识体系。 经典命题演算本身有着独特而丰富的内在规律可循，也就是说，经典命题逻辑系统的结构本身有丰富的内在规律。正是这些规律决定了经典命题演算有能行方法存在。本文综合运用了多种科研方法，试图从探讨实现经典命题演算能行化的思维原理问题入手，通过确立思维原理、探索初步方案、给出能行程序、论证程序能行性等一系列科学的、缜密的理论研究过程建立一套能行程序，使经典命题演算实现能行化。
经典命题演算;能行方法;数理逻辑;知识体系
燕山大学
硕士
逻辑学
刘叶涛
2009
中文
B812.22
78
2015-07-01（万方平台首次上网日期，不代表论文的发表时间）