二值命题逻辑中有限理论带误差结论集的结构  

The Structure of the Finite Theory Conclusion Set with the Error in Two-valued Propositional Logic

作　　者：王廷明[1] 

机构地区：[1]青岛大学师范学院,山东青岛266071

出　　处：《模糊系统与数学》2010年第3期11-15,共5页Fuzzy Systems and Mathematics

摘　　要：二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。The conclusion set under the Г theory is the basic object of study of approximate reasoning in the two-valued propositional logic system. Meanwhile the analysis of its structure should be solved in the approximate reasoning research. Through the formula, of the Г finite theory. Then using the set partitioning the error can be classified by which is based on the we can get the necessary and sufficient condition method, the Г finite theory conclusion set with truth degree and the logic equivalence relations, respectively. From the study above, we obtain the classification theorem which contains the Equivalence class number and the representative element expression. And hence, it also reflect the features of the Г theory conclusion set with the error in depth in approximate reasoning study of the two-valued propositional logic system.

关 键 词：二值命题逻辑 有限理论 极小项 真度 逻辑等价 

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