命題邏輯系統(tǒng)中理論的真度及其應(yīng)用研究.pdf

1、命題邏輯又稱(chēng)作符號(hào)邏輯,是一門(mén)用數(shù)學(xué)方法研究推理過(guò)程和邏輯的科學(xué).我們知道命題必須是有真、假意義的語(yǔ)句,而不可能存在第3種,命題邏輯研究的對(duì)象就是命題.命題邏輯以邏輯運(yùn)算符號(hào)結(jié)合原子命題來(lái)構(gòu)成代表“命題”的公式,以及允許某些公式建構(gòu)成“定理”的一套形式“證明規(guī)則”.（相對(duì)于謂詞邏輯,它是量化的并且它的原子公式是謂詞函數(shù)；和模態(tài)邏輯,它可以是非真值泛函的.）本文介紹了命題邏輯理論的真度的相關(guān)概念和理論知識(shí),然后利用命題邏輯思想去構(gòu)造間隙函

2、數(shù),這時(shí)我們可以通過(guò)構(gòu)造間隙函數(shù)的方法把復(fù)雜的模型化為求解非線(xiàn)性方程組的問(wèn)題,通過(guò)去解非線(xiàn)性方程組進(jìn)而得到問(wèn)題的求解.最后本文介紹了命題邏輯理論的相關(guān)應(yīng)用.主要介紹了命題邏輯在計(jì)算機(jī)科學(xué)中的相關(guān)應(yīng)用,以及在邏輯推理中的應(yīng)用.第1章為緒論.介紹數(shù)理邏輯的背景、基本概念,闡述數(shù)理邏輯相關(guān)理論起源和發(fā)展以及介紹其數(shù)理邏輯表達(dá)的優(yōu)點(diǎn).第2章關(guān)于基礎(chǔ)知識(shí).本章主要進(jìn)行介紹命題邏輯系統(tǒng)中的相關(guān)方面的知識(shí),也是為后面進(jìn)行研究做鋪墊.第3章間隙函數(shù)的構(gòu)