Gödel [n]值命题逻辑系统的真度理论
来源：计算机工程与应用杂志2017年第11期北京时间：
作者：朱乃调，惠小静，高晓莉，高 姣
单位：延安大学 数学与计算机科学学院，陕西 延安 716000
摘要：首先在Gödel [n]值命题逻辑系统中添加了新的连接词[Δ,～]，给出了Gödel [n]值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义；讨论了在该系统下它们的一些相关性质，并给出了相应的证明。
关键词：Gö,del [n]命题逻辑系统,真度,相似度,伪距离
《计算机工程与应用杂志》发表论文赏析
作者：朱乃调，惠小静，高晓莉，高 姣
单位：延安大学 数学与计算机科学学院，陕西 延安 716000
摘要：首先在Gödel [n]值命题逻辑系统中添加了新的连接词[Δ,～]，给出了Gödel [n]值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义；讨论了在该系统下它们的一些相关性质，并给出了相应的证明。
关键词：Gö,del [n]命题逻辑系统,真度,相似度,伪距离
