增加Δ算子的G?del n值命题逻辑系统理论的平均真度  

Average truth degree of G?del n-valued propositional logic system with Δ operator

作　　者：王勇勇 惠小静[1] WANG Yongyong;HUI Xiaojing(College of Mathematics and Computer Science,Yan’an University,Yan’an,Shaanxi 716000,China)

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

出　　处：《计算机工程与应用》2018年第19期68-71,134,共5页Computer Engineering and Applications

摘　　要：在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。Firstly,Δoperator is presented in Godel n-valued propositional logic system,the definition of average truth degree for finite theory is proposed,then some important conclusions of the system are given and proved.Finally,some basic properties of average truth degree are discussed,it lays the foundation for further research on the average truth degree of the system.

关 键 词：Godeln值命题逻辑系统 有限理论 平均真度 Δ算子 

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