论文部分内容阅读
研究了命题逻辑公式集（F(S））上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念，利用公式的真度概念给出了一种正则相似度，进而导出了全体公式集上一种伪距离，并且证明了它与另外两种伪距离是等价的。
命题逻辑公式集上的正则相似关系
【摘 要】
：
研究了命题逻辑公式集（F(S））上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念，利用公式的真度概念给出了一种正则相似度，进而导出了全体公式集上一种伪距离，并且证明
【机 构】
：
陕西师范大学数学研究所,湖北民族学院信息工程学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2002年4期
其他文献