n值Lukasiewicz命题逻辑系统中公式的矛盾度理论  

On Theory of Controdicition Degree in n-Valued Lukasiewicz Proposition Logic System

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

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

出　　处：《西南师范大学学报（自然科学版）》2015年第8期1-6,共6页Journal of Southwest China Normal University(Natural Science Edition)

基　　金：国家自然科学基金项目(11471007);陕西省自然科学基金项目(2014JM1020);延安大学专项科研基金项目(YGQ2014-45)

摘　　要：在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.Some important properties of contradiction degrees are discussed by the concept of contradiction degree in n‐valued Lukasiewicz proposition logic system .Moreover ,the relationship between inference rules and contradic‐tion degrees is discussed ,and the consequence about the union inference rule of contradiction degrees is also ob‐tained in Lukasiewicz proposition logic system .

关 键 词：计量逻辑学 Lukasiew icz命题逻辑 矛盾度 推理规则 

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