資源描述：
《經(jīng)典命題演算的能行方法研究》由會員上傳分享，免費在線閱讀，更多相關內容在學術論文-天天文庫。
1、國內圖書分類號：B815.3國際圖書分類號：16哲學碩士學位論文經(jīng)典命題演算的能行方法研究碩士研究生：秦一男導師：劉葉濤副教授申請學位級別：哲學碩士學科、專業(yè)：邏輯學所在單位：文法學院授予學位單位：燕山大學萬方數(shù)據(jù)ClassifiedIndex:B815.3U.D.C.:16DissertationfortheMasterDegreeinPhilosophyRESEARCHESONTHEMANIPULATIVEAPPROACHTOTHECLASSICALCALCULUSOFPROPOSITIONSCandidate：Qi
2、nYinanSupervisor：AssoProf.LiuYetaoAcademicDegreeAppliedFor：MasterofPhilosophySpeciality：LogicUniversity：YanshanUniversityIII萬方數(shù)據(jù)燕山大學碩士學位論文原創(chuàng)性聲明本人鄭重聲明：此處所提交的碩士學位論文《經(jīng)典命題演算的能行方法研究》，是本人在導師指導下，在燕山大學攻讀碩士學位期間獨立進行研究工作所取得的成果。據(jù)本人所知，論文中除已注明部分外不包含他人已發(fā)表或撰寫過的研究成果。對本文的研究工作做出重要貢
3、獻的個人和集體，均已在文中以明確方式注明。本聲明的法律結果將完全由本人承擔。作者簽字：日期：年月日燕山大學碩士學位論文使用授權書《經(jīng)典命題演算的能行方法研究》系本人在燕山大學攻讀碩士學位期間在導師指導下完成的碩士學位論文。本論文的研究成果歸燕山大學所有，本人如需發(fā)表將署名燕山大學為第一完成單位及相關人員。本人完全了解燕山大學關于保存、使用學位論文的規(guī)定，同意學校保留并向有關部門送交論文的復印件和電子版本，允許論文被查閱和借閱。本人授權燕山大學，可以采用影印、縮印或其他復制手段保存論文，可以公布論文的全部或部分內容。保密□
4、，在年解密后適用本授權書。本學位論文屬于不保密□。（請在以上相應方框內打“√”）作者簽名：日期：年月日導師簽名：日期：年月日V萬方數(shù)據(jù)摘要經(jīng)典命題演算的能行方法研究具有重要的理論意義和現(xiàn)實價值。在經(jīng)典命題邏輯的常見公理系統(tǒng)中，僅以公理和推理規(guī)則為工具進行定理的形式證明，往往不易找到證明的出發(fā)點，對于初學者而言尤為困難。過去通常認為經(jīng)典命題演算沒有能行方法，但從未有過嚴密論證認定經(jīng)典命題演算的能行方法不存在。本文試圖建立一套能行程序，使經(jīng)典命題演算實現(xiàn)能行化。通過對經(jīng)典命題演算能行方法的研究，不僅可以深刻揭示經(jīng)典命題演算特
5、有的內在規(guī)律，進一步豐富數(shù)學定理機器證明理論，為其他各類邏輯演算的能行證明問題提供一種有價值的新方法，還可以改進數(shù)理邏輯課程的教學，拓寬邏輯學研習者的思路，使其更全面地掌握邏輯演算的技術要領。經(jīng)典命題演算能行方法的給出，可以進一步發(fā)展數(shù)理邏輯的知識體系。經(jīng)典命題演算本身有著獨特而豐富的內在規(guī)律可循，也就是說，經(jīng)典命題邏輯系統(tǒng)的結構本身有豐富的內在規(guī)律。正是這些規(guī)律決定了經(jīng)典命題演算有能行方法存在。本文綜合運用了多種科研方法，試圖從探討實現(xiàn)經(jīng)典命題演算能行化的思維原理問題入手，通過確立思維原理、探索初步方案、給出能行程序、
6、論證程序能行性等一系列科學的、縝密的理論研究過程建立一套能行程序，使經(jīng)典命題演算實現(xiàn)能行化。關鍵詞經(jīng)典命題演算；思維原理；分析法；能行程序；算法VI萬方數(shù)據(jù)AbstractThemanipulativeapproachtotheclassicalcalculusofpropositionsisfairlysignificantandvaluabletheoreticallyandacademically.Intheaxiomaticsystemoflogic,whichisconcernedwiththeclassica
7、lcalculusofpropositions,itisuneasytostarttheverificationbasedonlyontheaxiomaticandreasonablerules,especiallyforthebeginnersinthisfield.Forthepastyears,ithasbeencommonlyassertedthatthereisnotanyapproachtotheclassicalcalculusofpropositions;however,hardverificationo
8、napproachtotheclassicalcalculusofpropositionshasbeenunavailablesofar.Therefore,thisthesisintendstoofferamanipulativeproceduresothattheapproachtotheclassicalcal
