标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布

Distribution of propositional truth value set in in standard serial logic system S_3

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.

Using the infinite product of homogeneous probability space with potential of 3, a conception of formula truth degree is introduced into 3-valued standard serial logic system and a inferential rule of truth degree is also given. It is proved further that the set of complete formula truth degree in is dense one; and a general expression for formula truth degree is given also, providing a basis for further establishing approximate reasoning theory of 3-valued propositional logic.