G(o)del逻辑系统中一类模糊逻辑方程解的性质

摘要

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合；并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1；有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}.%Based on the theory of truth degree in Godel logic system, the conceptions of fuzzy logic equations are given. So then,we combine the ideas of equations with fuzzy logic. The properties of fuzzy logic equations with the form r(p→X) = o are discussed, wherep is atomic proposition and X is undetermined formula. The following conclusions are given; Fuzzy logic equation r(p-------X) =a has homotype solutions if and only if a =0rnor 1 and has m-homotype solutions (m>2) if and only if a e{i/(m+2)li=0,1,2,...,(m+2)!}.