Abstract: Firstly, [Δ]operator is presented in Gödel[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.

Key words: Gödel[n]-valued propositional logic system, finite theory, average truth degree;[Δ]operator

摘要： 在添加了[Δ]算子Gödeln值命题逻辑系统中，给出了Gödel[n]值命题逻辑系统中有限理论的平均真度的定义，给出了该系统下的一些重要结论并给予证明，验证了在该系统下平均真度的一些基本性质，为进一步在该系统下研究平均真度奠定了基础。

关键词: Gö, del[n]值命题逻辑系统, 有限理论, 平均真度, [&Delta, ]算子