命题逻辑公式集上的正则相似关系

摘要：

研究了命题逻辑公式集(F(S))上的正则相似关系.在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上的一种伪距离,并且证明了它与另外两种伪距离是等价的.

关键词：真度、相似度、正则相似度、伪距离

所属期刊栏目：30

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：23-27