论文部分内容阅读
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Г-真度理论，较为详细地讨论了它们的性质，并利用∑Г-真度的性质在公式集F（S）上引入了ρГ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。