摘要
与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。
As a counterpart of truth degree in L system, the concept of contradiction degree is introduced. Some important properties are studied. Based on this, the concept of logic equivalence is graded. And an upgrade algorithm of contradiction degree is given. Furthermore, difference degree ρ is introduced in the set of all formulas in L system. It is proved that difference degree ρ is a pseudo -metric on F（S）. And some properties of pseudo - metric space （ F（S） ,ρ ） are discussed.
出处
《云南师范大学学报（自然科学版）》
2007年第6期5-9,共5页
Journal of Yunnan Normal University:Natural Sciences Edition
基金
国家自然科学基金资助项目(10471083)
陕西师范大学重点科研项目基金(995130)
关键词
模糊逻辑
矛盾度
升级算法
差异度
伪距离
fuzzy logic
contradiction degree
upgrade algorithm
difference degree
pseudo - metric.
