在Godel n值命题逻辑系统中添加了Δ算子,给出了Godel n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。
△ operator is presented in Godel n-valued propositional logic system, the definition of △ truth degree and it's equivalent form are given, some basic properties of △ truth degree are discussed, and the inference rules of △ truth degree are proved.