论文部分内容阅读
在离散概率测度空间下定义了三值逻辑(p,q,r)测度,并相应地定义了命题逻辑系统中公式的真度概念;在三值逻辑(1/6,1/3,1/2)测度下证明了L3中全体公式的真度值之集在[0,1]上是稠密的,并给出真度的表达式;利用真度定义公式的相似度和一种伪距离,为一般离散概率空间下三值命题的近似推理理论提供了一种可能的框架.