论文部分内容阅读
与二值命题逻辑系统L中公式的真度概念相对应，给出了系统L中公式的矛盾度概念，研究了其部分重要性质。在此基础上将逻辑等价概念程度化，并给出了矛盾度的一种升级算法．进一步在L的全体公式集F（S）上定义了公式之间的差异度概念ρ，证明了差异度ρ即是F（S）上的伪距离，并讨论了伪距离空间（F（S），ρ）的一些性质。