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

The Generalized Tautology in Disturbing Fuzzy Propositional Logic System

作　　者：陈图云[1] 孟艳平[1] 吴凤干[1] 

机构地区：[1]辽宁师范大学数学学院,辽宁大连116029

出　　处：《模糊系统与数学》2005年第4期86-89,共4页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(69973019);辽宁省教育厅科学研究计划资助项目(2004C068)

摘　　要：通过定义二维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.

关 键 词：模糊逻辑 命题逻辑 广义重言式 

分 类 号：O159[理学—数学]