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

Properties of Solution to Fuzzy Logic Equation In Gdel Logic System

作　　者：杨洁[1] 

机构地区：[1]聊城大学东昌学院,山东聊城252000

出　　处：《烟台大学学报（自然科学与工程版）》2012年第3期166-169,231,共5页Journal of Yantai University(Natural Science and Engineering Edition)

基　　金：国家自然科学基金资助项目(60875034)

摘　　要：以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在G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 Gtidel 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）=a are discussed, where p 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∈{i/（m＋2）!li=0,1,2,…,（m＋2）!} or 1 and has m-homotype solutions （ m ≥2） if and only if a e （ m ＋ 2） !

关 键 词：Gdel逻辑系统 真值函数 真度 模糊逻辑方程 

分 类 号：O141.1[理学—数学]