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

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

• 摘要4-5
• Abstract5-9
• 導(dǎo)言9-13
• 第1章 能行方法的思維原理13-16
• 1.1 思維原理的選擇標(biāo)準(zhǔn)13-14
• 1.1.1 通緝令原理13
• 1.1.2 通緝令原理是思維原理的選擇標(biāo)準(zhǔn)13-14
• 1.2 思維原理的確立14-15
• 1.2.1 綜合法14
• 1.2.2 分析法14-15
• 1.3 本章小結(jié)15-16
• 第2章 初步探索16-20
• 2.1 演繹裝置16
• 2.2 初步方案16
• 2.3 實(shí)例操作16-19
• 2.3.1 實(shí)例116-17
• 2.3.2 實(shí)例217-19
• 2.4 本章小結(jié)19-20
• 第3章 能行程序的給出20-45
• 3.1 演繹裝置20
• 3.2 初始定義20-21
• 3.3 能行程序的給出21-26
• 3.3.1 先給出獨(dú)立工具程序21-22
• 3.3.2 正式程序開始22-25
• 3.3.3 程序3.3.2 的設(shè)計(jì)思想闡述25-26
• 3.4 對(duì)程序3.3.2 的補(bǔ)充說明26-28
• 3.4.1 程序3.3.2 的程序組(Ⅰ)的核心思路26
• 3.4.2 T 方案26
• 3.4.3 定理T26-28
• 3.4.4 補(bǔ)充說明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 本章小結(jié)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 本章小結(jié)54-55
• 第5章 其他經(jīng)典命題邏輯系統(tǒng)的能行程序研究55-64
• 5.1 系統(tǒng)155-59
• 5.1.1 演繹裝置55
• 5.1.2 先給出獨(dú)立操作方案55-56
• 5.1.3 正式程序開始56-59
• 5.2 系統(tǒng)259-62
• 5.2.1 演繹裝置59-60
• 5.2.2 先給出獨(dú)立工具程序60
• 5.2.3 正式程序開始60-62
• 5.3 本章小結(jié)62-64
• 第6章 7 種新證法64-70
• 結(jié)論70-72
• 參考文獻(xiàn)72-75
• 攻讀碩士學(xué)位期間承擔(dān)的科研任務(wù)與主要成果75-76
• 致謝76-78
• 作者簡(jiǎn)介78

【引證文獻(xiàn)】

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

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

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

本文編號(hào)：270938