将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Г-真度理论,较为详细地讨论了它们的性质,并利用∑Г-真度的性质在公式集F(S)上引入了ρГ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。
Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J. Wang, the theory of ∑Г-truth degree was introduced, and its properties which induce a pseudo-metric on F(S) were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.