陕西师范大学学报（自然科学版）
陝西師範大學學報（自然科學版）
협서사범대학학보（자연과학판）
JOURNAL OF SHAANXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2005年
4期
6-10
,共5页
数理逻辑%真度%三值真度推理规则%三值逻辑测度%稠密
數理邏輯%真度%三值真度推理規則%三值邏輯測度%稠密
수리라집%진도%삼치진도추리규칙%삼치라집측도%주밀
利用势为3的均匀概率空间的无穷乘积在W3、G3、Ⅱ3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表达通式,即若A∈F(S),则τ(A)=k/3n(n=1,2,…,k=0,1,…,3n).此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础,并且使W3,G3,Ⅱ3及S3系统中公式的真度有了统一的理论体系.
利用勢為3的均勻概率空間的無窮乘積在W3、G3、Ⅱ3及S3繫統中引入瞭公式的真度概唸,得到瞭命題真度分佈的一些性質,同時給齣瞭三值真度推理規則.證明瞭以上各繫統中的全體公式的真度值之集在[0,1]上是稠密的,併給齣瞭其中公式真度的錶達通式,即若A∈F(S),則τ(A)=k/3n(n=1,2,…,k=0,1,…,3n).此項研究為進一步建立三值命題邏輯的近似推理理論奠定瞭基礎,併且使W3,G3,Ⅱ3及S3繫統中公式的真度有瞭統一的理論體繫.
이용세위3적균균개솔공간적무궁승적재W3、G3、Ⅱ3급S3계통중인입료공식적진도개념,득도료명제진도분포적일사성질,동시급출료삼치진도추리규칙.증명료이상각계통중적전체공식적진도치지집재[0,1]상시주밀적,병급출료기중공식진도적표체통식,즉약A∈F(S),칙τ(A)=k/3n(n=1,2,…,k=0,1,…,3n).차항연구위진일보건립삼치명제라집적근사추리이론전정료기출,병차사W3,G3,Ⅱ3급S3계통중공식적진도유료통일적이론체계.
