命题模糊逻辑系统Π和Gd中理论的相容度与下真度的计算公式(Ⅱ)

Calculation Formulas on the Lower Truth Degree and Consistency Degrees of Theories in Propositional Fuzzy Logic systems Π and Gd (Ⅱ)

讨论命题模糊逻辑系统Π和Gd中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Π和Gd中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件。

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.