G?del n值命题逻辑系统的真度理论  

Theory of truth degree in G?del n-valued propositional logic system

作　　者：朱乃调 惠小静[1] 高晓莉[1] 高姣[1] ZHU Naidiao;HUI Xiaojing;GAO Xiaoli;GAO Jiao(College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China)

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

出　　处：《计算机工程与应用》2017年第11期67-72,共6页Computer Engineering and Applications

基　　金：国家自然科学基金重点项目(No.11531009);国家自然科学基金(No.11471007);陕西省自然科学基金(No.2014JM1020);延安大学研究生创新基金

摘　　要：首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。The new connectorsΔand～are presented in G?del n-valued propositional logic system in this paper,the definition of truth degree,similarity degree and pseudo-metric among formulas are given in G?del n-valued propositional logic system,some related properties of them among formulas are discussed under the system,and the corresponding certificate is presented.

关 键 词：Godeln命题逻辑系统 真度 相似度 伪距离 

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