n值R_0^-命题逻辑系统L_n~*中公式的矛盾度理论  

Theory of Controdiction Degree in n-valued R_0 Propositional Logic L_n~*

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

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

出　　处：《云南师范大学学报（自然科学版）》2007年第4期1-7,共7页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：国家自然科学基金资助项目(10471083);陕西师范大学重点科研项目基金(995130)

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

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

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