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

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

二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。

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.