李順琴, 惠小靜

(延安大學(xué) 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,陜西 延安 716000)

?

李順琴, 惠小靜

(延安大學(xué) 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,陜西 延安 716000)

計(jì)量邏輯學(xué)；R0-命題邏輯系統(tǒng)；矛盾度；等價(jià)形式；對(duì)稱性定理

1 預(yù)備知識(shí)

2 公式真度定義的等價(jià)形式

證明結(jié)合定義4知，只需證明

從而

即

所以

結(jié)合定義4，得

由定理再結(jié)合引理1，可得如下推論：

推論1設(shè)A=A(p1,p2,…,pm)∈F(S)，則

(ⅰ)A是重言式當(dāng)且僅當(dāng)Cn(A)=0.

(ⅱ)A是矛盾式當(dāng)且僅當(dāng)Cn(A)=1.

3 矛盾度的相關(guān)性質(zhì)

(ⅰ)若A≈B(A～B)，則Cn(A)=Cn(B).

(ⅱ) Cn(A∨B)=Cn(A)+Cn(B)-Cn(A∧B).

(ⅲ) Cn(A)=1-Cn(A).

(ⅳ) 若A→B是定理，則Cn(A)≥Cn(B).

即

因此

從而

結(jié)合定理1，得

Cn(A∨B)=Cn(A)+Cn(B)-Cn(A∧B)

再結(jié)合定理1，得

Cn(A)=1-Cn(A).

結(jié)合定理1，得

Cn(A)≥Cn(B)

Cn(A1∨A2∨…∨As)

證明對(duì)s用數(shù)學(xué)歸納法證明.

當(dāng)s=2時(shí)，根據(jù)定理1(ⅱ)知結(jié)論成立.

假設(shè)

+(-1)s-2Cn(A1∧A2∧…∧As-1)

那么

Cn(A1∨A2∨…∨As)

=Cn((A1∨A2∨…∨As-1)∨As)

=Cn(A1∨A2∨…∨As-1)+Cn(As)-Cn((A1∨A2∨…∨As-1)∧As)

=Cn(A1∨A2∨…∨As-1)+Cn(As)-Cn((A1∧As)∨…∨(As-1∧As))

根據(jù)數(shù)學(xué)歸納法知結(jié)論對(duì)s∈Z+-{1}成立.

證明設(shè)A=A(p1,p2,…,pm)∈F(S)是含有m個(gè)原子公式p1,p2,…,pm的命題公式.把A中的原子公式pi換成pi，公式A變成公式B，即

A(p1,…,pi-1,pi,pi+1,…,pm)=B(p1,…,pi-1,pi,pi+1,…,pm)

φ(x1,…,xi-1,xi,xi+1,…,xm)=(x1,…,xi-1,1-xi,xi+1,…,xm)

因此

由定理1，知Cn(A)=Cn(B).

[1] PAVELKA J.On fuzzy logic:I,II,III[J].Z Math Logic Grundlagen Math,1979,25:45-52，119-134，447-464.

[2] 王國(guó)俊.數(shù)理邏輯引論與歸結(jié)原理[M].北京:科學(xué)出版社,2006.

[3] 王國(guó)俊.計(jì)量邏輯學(xué)(I)[J].工程數(shù)學(xué)學(xué)報(bào),2006,23(2):191-215.

[4] WANG G J,ZHOU H J.Quantitative logic[J].Information Sciences,2009,179(3):226-241.

[5] 李俊,王國(guó)俊.邏輯系統(tǒng)Ln中的命題真度理論[J].中國(guó)科學(xué)(E輯),2006,36(6):631-643.

[6] 王國(guó)俊,傅麗,宋建社.二值命題邏輯中命題的真度理論[J].中國(guó)科學(xué)(A輯),2001,31(11):998-1008.

[7] 王國(guó)俊,李壁鏡.Lukasiweicz n值邏輯中公式的真度理論和極限定理[J].中國(guó)科學(xué)(E),2005,35(6):561-569.

[8] 王國(guó)俊,宋建設(shè).命題邏輯中的程度化方法[J].電子學(xué)報(bào),2006,34(2):252-2571.

[9] 王國(guó)俊,高香妮.命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[J].陜西師范大學(xué)學(xué)報(bào):自然科學(xué)版,2009,37(5):1-6.

[10]周建仁,吳洪博.Lukasiewicz命題邏輯系統(tǒng)中真度的等價(jià)定義及相關(guān)性質(zhì)[J].工程數(shù)學(xué)學(xué)報(bào)，2013,30(4):580-590.

[11]劉華文,王國(guó)俊,張誠(chéng)一.幾種邏輯系統(tǒng)中的近似推理理論[J].山東大學(xué)學(xué)報(bào)：理學(xué)版,2007,42(7):77-81.

[12]張紅杰,吳洪博.n值R0-命題邏輯系統(tǒng)L*n中公式的矛盾度理論[J].云南師范大學(xué)學(xué)報(bào)：自然科學(xué)版，2007,27(4):1-7.

An Equivalent Definition and Some Properties of Controdicition Degreees in N-valued Propositional Logic System L*n

LI Shun-Qin, HUI Xiao-Jing

(College of Mathematics and Computer Science,Yan′an University,Yan′an 716000,China)

An intuitionistic equivalent form of the definition of controdicition degrees in n-valued R0-propositional logic system L*nis given,and the proofs of some important properties of controdicition degreees are simplified through the equivalent form of definiton.Moreover, the symmetrical characteristic of controdicition degrees is obtained.

Quantitative logic;R0-proposition logic; Controdicition degree; Equivalent definition; Symmetry theorem

2014-11-18

國(guó)家自然科學(xué)基金資助項(xiàng)目(11471007)；陜西省自然科學(xué)基金資助項(xiàng)目(2014JM1020)；陜西省科技計(jì)劃資助項(xiàng)目(2014ks15-03-07)；陜西省高水平大學(xué)建設(shè)專項(xiàng)資金資助項(xiàng)目(2012SXTS07).

李順琴(1978-)，女，陜西延安人，碩士，講師，主要從事不確定性推理方面研究.E-mail:lishq_mm@163.com.

李順琴.

O141.1

A

1007-9793(2015)03-0036-05