二值逻辑的D-条件真度理论

Truth Degree of Logic Theory in Propositional Logic Systems and its Application

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。

Based on D- random truth degrees and conditional truth degrees of two valual propositional logical formulas, the concepts of D- conditional truth degrees and the corresponding properties are intruduced. In logical metric space （ F（S） ,ρD） , the concepts of contradiction and tautology based on Fwith the concepts of logical equivalence based on F between formulas A and B are given ; then the concepts of D- conditional similarity degrees and D- conditional logical pseudodistance and the corresponding properties are also discussed.