Luk命题演算系统的析取范式逻辑不等式组的解法  

SOLUTION METHOD OF LOGICAL INEQUALITY GROUPS OF DISJUNCTIVE NORMAL FORM IN LUK PROPOSITIONAL CALCULUS SYSTEM

作　　者：李友雨[1] 张兴芳[1] 

机构地区：[1]聊城大学数学科学学院,聊城252059

出　　处：《系统科学与数学》2014年第2期245-256,共12页Journal of Systems Science and Mathematical Sciences

基　　金：国家自然科学基金(61273044)资助课题

摘　　要：在模糊逻辑不断走向成熟的过程中,众多学者对Lukasiewicz命题演算系统进行了大量研究并取得一些有价值的成果.对Lukasiewicz模糊逻辑析取范式不等式组的解法进行了初步探究.首先,引入了Lukasiewicz模糊逻辑析取范式不等式组的概念.然后,列举了所有的一维及二维模糊逻辑析取范式不等式组.最后,给出了它们的解的一般形式.With the development of the fuzzy logic,many scholars study Lukasiewicz propositional calculus system and obtain some valuable results.This paper deals with the solution method of Lukasiewicz fuzzy logic disjunctive normal form inequality.Firstly,the concept of disjunctive normal form inequality on Lukasiewicz propositional calculus system is introduced.Then,one-dimensional and two-dimensional fuzzy logic disjunctive normal inequality systems are listed.Finally,general forms of their solutions are given.

关 键 词：Lukasiewicz命题演算系统 析取范式 逻辑不等式组 

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