经典命题演算能行策略探讨

经典命题演算的能行方法研究具有重要的理论意义和现实价值。在经典命题逻辑的常见公理系统中,仅以公理和推理规则为工具进行定理的形式证实,往往不易找到证实的出发点,对于初学者而言尤为困难。过去通常以为|教育论文网|经典命题演算没有能行方法,但从未有过严密论证认定经典命题演算的能行方法不存在。本文试图建立一套能行程序,使经典命题演算实现能行化。通过对经典命题演算能行方法的研究,不仅可以深刻揭示经典命题演算特有的内在规律,进一步丰富数学定理机器证实理论,为其他各类逻辑演算的能行证实问题提供一种有价值的新方法,还可以改进数理逻辑课程的教学,拓宽逻辑学研习者的思路,使其更全面地掌握逻辑演算的技术要领。经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。经典命题演算本身有着独特而丰富的内在规律可循,也就是说,经典命题逻辑系统的结构本身有丰富的内在规律。正是这些规律决定了经典命题演算有能行方法存在。本文综合运用了多种科研方法,试图从探讨实现经典命题演算能行化的思维原理问题入手,通过确立思维原理、探索初步方案、给出能行程序、论证程序能行性等一系列科学的、缜密的理论研究过程建立一套能行程序,使经典命题演算实现能行化。【关键词】：经典命题演算思维原理分析法能行程序算法
【论文提纲】：摘要4-5Abstract5-9导言9-13第1章能行方法的思维原理13-161.1思维原理的选择标准13-141.1.1通缉令原理131.1.2通缉令原理是思维原理的选择标准13-141.2思维原理的确立14-151.2.1综正当141.2.2分析法14-151.3本章小结15-16第2章初步探索16-202.1演绎装置162.2初步方案162.3实例操纵16-192.3.1实例116-172.3.2实例217-192.4本章小结19-20第3章能行程序的给出20-453.1演绎装置203.2初始定义20-213.3能行程序的给出21-263.3.1先给出独立工具程序21-223.3.2正式程序开始22-253.3.3程序3.3.2的设计思想阐述25-263.4对程序3.3.2的补充说明26-283.4.1程序3.3.2的程序组(Ⅰ)的核心思路263.4.2T方案263.4.3定理T26-283.4.4补充说明283.5能行程序的操纵演示28-443.5.1示例128-303.5.2示例230-313.5.3示例331-383.5.4示例438-433.5.5示例543-443.6本章小结44-45第4章程序3.3.2能行性的论证45-554.1K模式45-464.2U形算法46-514.2.1典型问题46-504.2.2U形算法阐述50-514.3程序3.3.2能行性的确立51-544.3.1引理1（化归定理）51-534.3.2引理2534.3.3引理353-544.3.4能行性定理544.4重要规律544.5本章小结54-55第5章其他经典命题逻辑系统的能行程序研究55-645.1系统155-595.1.1演绎装置555.1.2先给出独立操纵方案55-565.1.3正式程序开始56-595.2系统259-625.2.1演绎装置59-605.2.2先给出独立工具程序605.2.3正式程序开始60-625.3本章小结62-64第6章7种新证法64-70结论70-72参考文献72-75攻读硕士学位期间承担的科研任务与主要成果75-76致谢76-78作者简介78