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

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

【學位級別】：碩士

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



本文編號：3812517