经典命题演算的能行方法研究

《经典命题演算的能行方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、国内图书分类号：B815.3国际图书分类号：16哲学硕士学位论文经典命题演算的能行方法研究硕士研究生：秦一男导师：刘叶涛副教授申请学位级别：哲学硕士学科、专业：逻辑学所在单位：文法学院授予学位单位：燕山大学万方数据ClassifiedIndex:B815.3U.D.C.:16DissertationfortheMasterDegreeinPhilosophyRESEARCHESONTHEMANIPULATIVEAPPROACHTOTHECLASSICALCALCULUSOFPROPOSITIONSCandidate：Qi

2、nYinanSupervisor：AssoProf.LiuYetaoAcademicDegreeAppliedFor：MasterofPhilosophySpeciality：LogicUniversity：YanshanUniversityIII万方数据燕山大学硕士学位论文原创性声明本人郑重声明：此处所提交的硕士学位论文《经典命题演算的能行方法研究》，是本人在导师指导下，在燕山大学攻读硕士学位期间独立进行研究工作所取得的成果。据本人所知，论文中除已注明部分外不包含他人已发表或撰写过的研究成果。对本文的研究工作做出重要贡

3、献的个人和集体，均已在文中以明确方式注明。本声明的法律结果将完全由本人承担。作者签字：日期：年月日燕山大学硕士学位论文使用授权书《经典命题演算的能行方法研究》系本人在燕山大学攻读硕士学位期间在导师指导下完成的硕士学位论文。本论文的研究成果归燕山大学所有，本人如需发表将署名燕山大学为第一完成单位及相关人员。本人完全了解燕山大学关于保存、使用学位论文的规定，同意学校保留并向有关部门送交论文的复印件和电子版本，允许论文被查阅和借阅。本人授权燕山大学，可以采用影印、缩印或其他复制手段保存论文，可以公布论文的全部或部分内容。保密□

4、，在年解密后适用本授权书。本学位论文属于不保密□。（请在以上相应方框内打“√”）作者签名：日期：年月日导师签名：日期：年月日V万方数据摘要经典命题演算的能行方法研究具有重要的理论意义和现实价值。在经典命题逻辑的常见公理系统中，仅以公理和推理规则为工具进行定理的形式证明，往往不易找到证明的出发点，对于初学者而言尤为困难。过去通常认为经典命题演算没有能行方法，但从未有过严密论证认定经典命题演算的能行方法不存在。本文试图建立一套能行程序，使经典命题演算实现能行化。通过对经典命题演算能行方法的研究，不仅可以深刻揭示经典命题演算特

5、有的内在规律，进一步丰富数学定理机器证明理论，为其他各类逻辑演算的能行证明问题提供一种有价值的新方法，还可以改进数理逻辑课程的教学，拓宽逻辑学研习者的思路，使其更全面地掌握逻辑演算的技术要领。经典命题演算能行方法的给出，可以进一步发展数理逻辑的知识体系。经典命题演算本身有着独特而丰富的内在规律可循，也就是说，经典命题逻辑系统的结构本身有丰富的内在规律。正是这些规律决定了经典命题演算有能行方法存在。本文综合运用了多种科研方法，试图从探讨实现经典命题演算能行化的思维原理问题入手，通过确立思维原理、探索初步方案、给出能行程序、

6、论证程序能行性等一系列科学的、缜密的理论研究过程建立一套能行程序，使经典命题演算实现能行化。关键词经典命题演算；思维原理；分析法；能行程序；算法VI万方数据AbstractThemanipulativeapproachtotheclassicalcalculusofpropositionsisfairlysignificantandvaluabletheoreticallyandacademically.Intheaxiomaticsystemoflogic,whichisconcernedwiththeclassica

7、lcalculusofpropositions,itisuneasytostarttheverificationbasedonlyontheaxiomaticandreasonablerules,especiallyforthebeginnersinthisfield.Forthepastyears,ithasbeencommonlyassertedthatthereisnotanyapproachtotheclassicalcalculusofpropositions;however,hardverificationo

8、napproachtotheclassicalcalculusofpropositionshasbeenunavailablesofar.Therefore,thisthesisintendstoofferamanipulativeproceduresothattheapproachtotheclassicalcal