

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、基本命題邏輯是不同于經(jīng)典命題邏輯的命題邏輯,屬于非經(jīng)典邏輯,與它最類似的非經(jīng)典邏輯是直覺主義命題邏輯。相比于經(jīng)典命題邏輯,基本命題邏輯引入了一個(gè)恒假概念(記為上),并在否定和蘊(yùn)含的定義上均與經(jīng)典命題邏輯不同?;久}邏輯中蘊(yùn)含的意義在于一個(gè)特定的傳遞關(guān)系的后繼上,蘊(yùn)含式的真值也由該關(guān)系的后繼上前件和后件的真值確定。否定式也不再是經(jīng)典命題邏輯中那樣的真值變換,一個(gè)命題的否定被定義為該命題蘊(yùn)含恒假。在基本命題邏輯中加入公式p∧(p→q)→q
2、作為公理,可以將該邏輯擴(kuò)張為直覺主義邏輯;再在此直覺主義邏輯的基礎(chǔ)上加入公式p∨(-)p作為公理,則可以將其擴(kuò)張為經(jīng)典命題邏輯。與經(jīng)典命題邏輯和直覺主義命題邏輯一樣,基本命題邏輯也可以進(jìn)行模態(tài)擴(kuò)張,以此來研究必然、可能及其相關(guān)概念。以上設(shè)定與直覺主義命題邏輯基本相同,區(qū)別在于蘊(yùn)含的定義上,在基本命題邏輯中,與蘊(yùn)含對(duì)應(yīng)的特定關(guān)系是一個(gè)傳遞關(guān)系,而在直覺主義命題邏輯中,與蘊(yùn)含對(duì)應(yīng)的特定關(guān)系是一個(gè)自返且傳遞的關(guān)系?;久}邏輯和直覺主義命題邏
3、輯之間的區(qū)別也是由于這個(gè)關(guān)系的自返與否帶來的。由于基本命題邏輯和經(jīng)典命題邏輯、直覺主義命題邏輯之間關(guān)系密切,因而在對(duì)其進(jìn)行模態(tài)擴(kuò)張的時(shí)候,可以借鑒經(jīng)典模態(tài)邏輯和直覺主義模態(tài)邏輯,參考二者中對(duì)模態(tài)部分的定義與描述來獲取對(duì)基本命題邏輯進(jìn)行模態(tài)擴(kuò)張的思路,以及獲取擴(kuò)張之后得到的邏輯的具體性質(zhì)。
在對(duì)基本命題邏輯進(jìn)行模態(tài)擴(kuò)張時(shí),經(jīng)過檢驗(yàn)得出必然算子與可能算子之間并不像經(jīng)典模態(tài)邏輯中那樣具有對(duì)偶關(guān)系,因此需要分別擴(kuò)張出只含有必然算子的模
4、態(tài)邏輯與只含有可能算子的模態(tài)邏輯,再考慮將這兩種模態(tài)邏輯進(jìn)行合并,進(jìn)而得到同時(shí)含有必然算子與可能算子的模態(tài)邏輯。在引入必然算子時(shí),與經(jīng)典模態(tài)邏輯一樣需要引入新的可及關(guān)系,但由于基本命題邏輯本身帶有的單調(diào)性,使得如果僅僅使用這個(gè)新的關(guān)系定義出必然算子,那么將出現(xiàn)在擴(kuò)張后的模態(tài)邏輯系統(tǒng)下帶有必然算子的蘊(yùn)含式不能保持單調(diào)性這個(gè)問題。解決這個(gè)問題需要對(duì)得到的模態(tài)邏輯的模型進(jìn)行關(guān)系上的限制。為了避免進(jìn)行這樣的限制,本文將蘊(yùn)含式對(duì)應(yīng)的關(guān)系與模態(tài)擴(kuò)張
5、時(shí)引入的新關(guān)系結(jié)合在一起,同時(shí)使用這兩個(gè)關(guān)系來重新定義了必然算子。以這樣的方式引入必然算子之后,在基本命題邏輯系統(tǒng)的基礎(chǔ)上加入兩條帶有必然算子的公理與一條帶有必然算子的推理規(guī)則,即可以得到該系統(tǒng)的帶有必然算子的模態(tài)擴(kuò)張。在引入可能算子時(shí)同樣由于單調(diào)性而遇到了問題,而將蘊(yùn)含式對(duì)應(yīng)的關(guān)系與模態(tài)擴(kuò)張時(shí)引入的新關(guān)系結(jié)合在一起來重新定義可能算子的方式并沒有得到好的結(jié)果,因此為了解決這個(gè)問題,本文在擴(kuò)張后得到的模態(tài)邏輯系統(tǒng)上進(jìn)行了這兩個(gè)關(guān)系之間的限
6、制。以這樣的方式引入可能算子之后,在基本命題邏輯系統(tǒng)的基礎(chǔ)上加入兩條帶有可能算子的公理與一條帶有可能算子的推理規(guī)則,即可以得到該系統(tǒng)的帶有可能算子的模態(tài)擴(kuò)張。而同時(shí)按文中的方式引入必然算子與可能算子之后,將以上四條公理與兩條推理規(guī)則同時(shí)加入基本命題邏輯的系統(tǒng),則可以得到該系統(tǒng)的既帶有必然算子又帶有可能算子的模態(tài)擴(kuò)張MPL,而這也是本文希望得到的結(jié)果。
以這樣方式對(duì)基本命題邏輯進(jìn)行模態(tài)擴(kuò)張之后,得到的模態(tài)邏輯類似于直覺主義模態(tài)邏
7、輯,但兩者在公理上有很大區(qū)別。本文選擇了最有影響力的直覺主義模態(tài)邏輯系統(tǒng)——費(fèi)舍爾·舍維的FS系統(tǒng)——來與MPL的系統(tǒng)進(jìn)行對(duì)比,發(fā)現(xiàn)兩者除了共有的公理及推理規(guī)則之外,包括K公理在內(nèi)的三條FS系統(tǒng)的公理在MPL的系統(tǒng)中均存在反模型,以此來說明這三條公理都不能作為MPL系統(tǒng)的公理或定理。除了這樣的不同點(diǎn),從模型論的理論進(jìn)行考慮可以發(fā)現(xiàn),在經(jīng)典命題邏輯系統(tǒng)、基本命題邏輯系統(tǒng)與直覺主義模態(tài)邏輯系統(tǒng)中,一些模型和框架上的定理在MPL中同樣適用,只
8、需要注意將對(duì)應(yīng)的模態(tài)部分轉(zhuǎn)化為適用于MPL的形式。
考慮到除了K公理之外的另外兩條公理是同時(shí)含有必然算子與可能算子的公式,而這兩條公理均被證明在MPL中無效,因而本文嘗試將引入必然算子與可能算子所使用的與模態(tài)相對(duì)應(yīng)的可及關(guān)系區(qū)分開來的方式,以一種偏向代數(shù)的方式重新對(duì)基本命題邏輯進(jìn)行了模態(tài)擴(kuò)張。這樣進(jìn)行的模態(tài)擴(kuò)張得到的模態(tài)邏輯同時(shí)含有必然算子與可能算子,其模型可以對(duì)應(yīng)到一個(gè)特定的海廷代數(shù)上,同時(shí)一個(gè)符合這樣形式的海汀代數(shù)也可以對(duì)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 基本命題邏輯的模態(tài)擴(kuò)張.pdf
- 古典命題邏輯與模態(tài)命題邏輯.pdf
- 弱連通傳遞框架類的基本命題邏輯研究
- 弱連通傳遞框架類的基本命題邏輯研究.pdf
- 模糊模態(tài)命題邏輯及其廣義重言式.pdf
- 試論創(chuàng)意的基本命題及其邏輯關(guān)系.pdf
- 多值命題邏輯和直覺模糊命題邏輯公式的概率α-真度.pdf
- 擾動(dòng)模糊命題邏輯.pdf
- 數(shù)理邏輯—命題邏輯(3)
- 命題邏輯的模型論.pdf
- 第3章命題邏輯
- 第1章-命題邏輯
- 離散數(shù)學(xué)答案命題邏輯
- 模糊時(shí)序命題邏輯系統(tǒng)的語義.pdf
- 若干經(jīng)典命題邏輯問題的拓?fù)淇坍?pdf
- 直覺模糊命題邏輯系統(tǒng)的語義.pdf
- 基于命題邏輯信息檢索模型的研究.pdf
- 命題邏輯中子句集的分類研究.pdf
- 命題邏輯練習(xí)題及答案
- 命題邏輯復(fù)習(xí)題及答案
評(píng)論
0/150
提交評(píng)論