增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度
来源：计算机工程与应用杂志2018年第19期北京时间：
作者：王勇勇，惠小静
单位：延安大学 数学与计算机科学学院，陕西 延安 716000
摘要：在添加了[Δ]算子Gödeln值命题逻辑系统中，给出了Gödel[n]值命题逻辑系统中有限理论的平均真度的定义，给出了该系统下的一些重要结论并给予证明，验证了在该系统下平均真度的一些基本性质，为进一步在该系统下研究平均真度奠定了基础。
关键词：Gö,del[n]值命题逻辑系统,有限理论,平均真度,[&Delta,]算子
