扰动模糊命题逻辑系统中的广义重言式

The Generalized Tautology in Disturbing Fuzzy Propositional Logic System

通过定义二维R0-蕴涵算子,将王国俊教授在逻辑系统W-中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统D-中,证明了这一系统中(μ,δ)-重言式就是某个(,λ1-λ)-重言式,最终获得与一维线性赋值格上完全相应的广义重言式分类。

By defining two dimensional R0-implication operator, the generalized tautology in logic system W which is introduced by Professor Wang Guo-jun is generalized to disturbing fuzzy propositional logic system D which is of two-dimensional valuation. In system D, we show that the （μ,δ）-tautology is just a （λ, 1- λ ）-tautology , and get the similar classification of generalized tautology to that of one-dimensional valuation lattice.