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

doi:10.13951/j.cnki.37-1213/n.2012.03.003

烟台大学学报（自然科学与工程版） ›› 2012, Vol. 25 ›› Issue (3) : 166 -169+231. DOI: 10.13951/j.cnki.37-1213/n.2012.03.003

作者信息 +

Author information +

文章历史 +

摘要

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Gdel逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1;有m-同型解(m≥2)当且仅当α∈{i/(m+2)!|i=0,1,2,…,(m+2)!}.