几个三值命题逻辑系统中命题真度的分布

发布时间：2018-05-04 22:02

  本文选题：数理逻辑 + 真度　； 参考：《陕西师范大学学报(自然科学版)》2005年04期

【摘要】：利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表达通式,即若A∈F(S),则τ(A)=3kn(n=1,2,…,k=0,1,…,3n).此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础,并且使W3,G3,Π3及S3系统中公式的真度有了统一的理论体系.
[Abstract]:By using the infinite product of uniform probabilistic space with potential of 3, the concept of true degree of formula is introduced in W _ 3N _ 3G _ 3i _ 3 and S _ 3 systems, and some properties of propositional trueness distribution are obtained. At the same time, the inference rules of ternary truth degree are given. It is proved that the set of true degree values of all formulas in the above systems is dense on [0 ~ 1], and the general expression of the true degree of formula is given, that is, if A 鈭，

本文编号：1844844