經(jīng)過(guò)長(zhǎng)期的發(fā)展,經(jīng)典二值命題邏輯已經(jīng)相當(dāng)成熟,并被廣泛地應(yīng)用于包括計(jì)算機(jī)科學(xué)及人工智能在內(nèi)的領(lǐng)域中.但是,經(jīng)典二值命題邏輯中仍然有一些問(wèn)題未得到很好的解決,它仍然在不斷發(fā)展之中.本文就三個(gè)方面的問(wèn)題展開(kāi)討論,得到了一些比較新穎的結(jié)論. 第一,參考文獻(xiàn)[1]中提出了公式真度的概念.對(duì)于F(S_n)中的兩個(gè)公式,若其可證等價(jià),則真度相同,但反之不然。本文在第2章中給出了兩者之間的關(guān)系. 第二,給出了全體公式集F(S_n)中公式在可證等價(jià)意義的一般表示.通過(guò)第2章中的準(zhǔn)備工作,在第3章中就原子公式集為有限集S_n={P₁,P₂,…,P_n}的情形,給出了S_n上公式全體F(S_n)中公式在可證等價(jià)意義下的一般表示,其中用到了公式真度的概念. 第三,在公式可證等價(jià)的意義下,對(duì)F(S_n)中的公式集Γ,指出了其Γ-結(jié)論的結(jié)構(gòu).在第3章中,利用F(S_n)中公式在可證等價(jià)意義下的一般表示,通過(guò)建立...

【文章頁(yè)數(shù)】：40 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
前言
第1章 預(yù)備知識(shí)
第2章 F(S_n)中公式真度相同與邏輯等價(jià)的關(guān)系
第3章 F(S_n)中公式在等價(jià)意義下的一般表示及其應(yīng)用
    §3.1 F(S_n)中公式在邏輯等價(jià)(可證等價(jià))意義下的一般表示
    §3.2 F(S_n)中公式集Γ的全體結(jié)論之集
總結(jié)
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間的研究成果



本文編號(hào)：3812517