二值命题逻辑中命题的矛盾度理论

摘要：

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质.在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念ρ,证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质.

关键词：模糊逻辑、矛盾度、升级算法、差异度、伪距离

所属期刊栏目：27

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

资助基金：国家自然科学基金10471083;陕西师范大学校科研和教改项目995130

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

页数：共5页

页码：5-9