本文關鍵詞：經典命題演算的能行方法研究，由筆耕文化傳播整理發(fā)布。

【摘要】： 經典命題演算的能行方法研究具有重要的理論意義和現(xiàn)實價值。在經典命題邏輯的常見公理系統(tǒng)中,僅以公理和推理規(guī)則為工具進行定理的形式證明,往往不易找到證明的出發(fā)點,對于初學者而言尤為困難。過去通常認為經典命題演算沒有能行方法,但從未有過嚴密論證認定經典命題演算的能行方法不存在。本文試圖建立一套能行程序,使經典命題演算實現(xiàn)能行化。通過對經典命題演算能行方法的研究,不僅可以深刻揭示經典命題演算特有的內在規(guī)律,進一步豐富數(shù)學定理機器證明理論,為其他各類邏輯演算的能行證明問題提供一種有價值的新方法,還可以改進數(shù)理邏輯課程的教學,拓寬邏輯學研習者的思路,使其更全面地掌握邏輯演算的技術要領。經典命題演算能行方法的給出,可以進一步發(fā)展數(shù)理邏輯的知識體系。 經典命題演算本身有著獨特而豐富的內在規(guī)律可循,也就是說,經典命題邏輯系統(tǒng)的結構本身有豐富的內在規(guī)律。正是這些規(guī)律決定了經典命題演算有能行方法存在。本文綜合運用了多種科研方法,試圖從探討實現(xiàn)經典命題演算能行化的思維原理問題入手,通過確立思維原理、探索初步方案、給出能行程序、論證程序能行性等一系列科學的、縝密的理論研究過程建立一套能行程序,使經典命題演算實現(xiàn)能行化。
【關鍵詞】：經典命題演算 思維原理 分析法 能行程序 算法
【學位授予單位】：燕山大學
【學位級別】：碩士
【學位授予年份】：2008
【分類號】：B815.3
【目錄】：

• 摘要4-5
• Abstract5-9
• 導言9-13
• 第1章 能行方法的思維原理13-16
• 1.1 思維原理的選擇標準13-14
• 1.1.1 通緝令原理13
• 1.1.2 通緝令原理是思維原理的選擇標準13-14
• 1.2 思維原理的確立14-15
• 1.2.1 綜合法14
• 1.2.2 分析法14-15
• 1.3 本章小結15-16
• 第2章 初步探索16-20
• 2.1 演繹裝置16
• 2.2 初步方案16
• 2.3 實例操作16-19
• 2.3.1 實例116-17
• 2.3.2 實例217-19
• 2.4 本章小結19-20
• 第3章 能行程序的給出20-45
• 3.1 演繹裝置20
• 3.2 初始定義20-21
• 3.3 能行程序的給出21-26
• 3.3.1 先給出獨立工具程序21-22
• 3.3.2 正式程序開始22-25
• 3.3.3 程序3.3.2 的設計思想闡述25-26
• 3.4 對程序3.3.2 的補充說明26-28
• 3.4.1 程序3.3.2 的程序組(Ⅰ)的核心思路26
• 3.4.2 T 方案26
• 3.4.3 定理T26-28
• 3.4.4 補充說明28
• 3.5 能行程序的操作演示28-44
• 3.5.1 示例128-30
• 3.5.2 示例230-31
• 3.5.3 示例331-38
• 3.5.4 示例438-43
• 3.5.5 示例543-44
• 3.6 本章小結44-45
• 第4章 程序3.3.2 能行性的論證45-55
• 4.1 K 模式45-46
• 4.2 U 形算法46-51
• 4.2.1 典型問題46-50
• 4.2.2 U 形算法闡述50-51
• 4.3 程序3.3.2 能行性的確立51-54
• 4.3.1 引理1（化歸定理）51-53
• 4.3.2 引理253
• 4.3.3 引理353-54
• 4.3.4 能行性定理54
• 4.4 重要規(guī)律54
• 4.5 本章小結54-55
• 第5章 其他經典命題邏輯系統(tǒng)的能行程序研究55-64
• 5.1 系統(tǒng)155-59
• 5.1.1 演繹裝置55
• 5.1.2 先給出獨立操作方案55-56
• 5.1.3 正式程序開始56-59
• 5.2 系統(tǒng)259-62
• 5.2.1 演繹裝置59-60
• 5.2.2 先給出獨立工具程序60
• 5.2.3 正式程序開始60-62
• 5.3 本章小結62-64
• 第6章 7 種新證法64-70
• 結論70-72
• 參考文獻72-75
• 攻讀碩士學位期間承擔的科研任務與主要成果75-76
• 致謝76-78
• 作者簡介78

【引證文獻】

中國碩士學位論文全文數(shù)據(jù)庫 前1條

1 李晟;命題邏輯公理系統(tǒng)內定理證明的技巧和方法研究[D];燕山大學;2012年

  本文關鍵詞：經典命題演算的能行方法研究，，由筆耕文化傳播整理發(fā)布。

本文編號：270938