L_n命题演算中的一种新程度化方法  

A new graded method of propositional logic L_n

作　　者：张红杰[1] 吴洪博[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《纺织高校基础科学学报》2007年第3期217-222,共6页Basic Sciences Journal of Textile Universities

基　　金：国家自然科学基金(10471083)

摘　　要：将Lukasiewicz n值逻辑系统L_n中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质.用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ').The concept of tautology in Lukasiewciz n valued logic system Ln are graded,then the controdiction degree of formulas are given. Also some important properties of the controdiction ρ’ degree are discussed. The degree of variation function ρ‘ between two formulas are introduced using controdiction degree,and it is proved to be a pseduo-metric, then logic metric space （F（S） ,ρ＇） are built.

关 键 词：矛盾度 差异度 伪度量 逻辑度量空间 

分 类 号：O141[理学—数学]