n值逻辑系统Ln^＊中矛盾度的等价定义及性质  

An Equivalent Definition and Some Properties of Controdicition Degreees in N-valued Propositional Logic System Ln^＊

作　　者：李顺琴[1] 惠小静[1] 

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《云南师范大学学报（自然科学版）》2015年第3期36-40,共5页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);陕西省科技计划资助项目(2014ks15-03-07);陕西省高水平大学建设专项资金资助项目(2012SXTS07)

摘　　要：给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.An intuitionistic equivalent form of the definition of controdicition degrees in n-valued Ro-propositional logic system Ln^＊ is given,and the proofs of some important properties of controd- icition degreees are simplified through the equivalent form of definiton. Moreover, the symmetri- cal characteristic of controdicition degrees is obtained.

关 键 词：计量逻辑学 R0-命题逻辑系统 矛盾度 等价形式 对称性定理 

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