摘要
讨论命题模糊逻辑系统Π和Gd中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Π和Gd中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件。
In this paper, the calculation question of lower truth degree and consistency degrees of theories are drastically solved in propositional fuzzy logic systemsПand God. First, we introduce the new concepts of the core and zero core of formulas, the core of theories. And then, the computation formulas on lower truth degree and consistency degree of theories in propositional fuzzy logic systemsПand God are gained, respectively. Last, the new sufficient and necessary conditions of theories inconsistency are given.
出处
《模糊系统与数学》
CSCD
北大核心
2008年第1期1-6,共6页
Fuzzy Systems and Mathematics
基金
山东省自然科学基金资助项目(Y2003A01)
关键词
命题模糊逻辑系统П和God
理论
真度
下真度
相容度
Propositional Fuzzy Logic Systems П and God
Theories
Truth Degree
Lower Truth Degree
Consistency Degree