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

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

2、數(shù),這時我們可以通過構(gòu)造間隙函數(shù)的方法把復(fù)雜的模型化為求解非線性方程組的問題,通過去解非線性方程組進(jì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ǔ)知識.本章主要進(jìn)行介紹命題邏輯系統(tǒng)中的相關(guān)方面的知識,也是為后面進(jìn)行研究做鋪墊.第3章間隙函數(shù)的構(gòu)