论文部分内容阅读
将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合，在模糊命题逻辑系统Ln^＊中引入了公式集相对于有限理论的∑r-模糊真度理论，讨论了其中的主要性质。并利用真度关系：τr（A）＋τr（A→B）≤1＋τr（B）在模糊命题逻辑系统Ln^＊中的公式集F（S）上引入相对于有限理论的 Г-伪距离概念，从而为在模糊命题逻辑系统Ln^＊中建立相对于有限理论的近似推理框架奠定了基础。