系统L中τ(A→X)≥α型逻辑不等式的解问题

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (16): 44-46.

系统L中τ(A→X)≥α型逻辑不等式的解问题

王廷明

青岛大学师范学院，山东青岛 266071

出版日期:2012-06-01 发布日期:2012-06-01

Solution for logic inequality of τ(A→X)≥α type in system L

WANG Tingming

Teachers College of Qingdao University, Qingdao, Shandong 266071, China

Online:2012-06-01 Published:2012-06-01

摘要/Abstract

摘要： 二值命题逻辑L中[τ(A→X)≥α]型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过[F(Sn)]中公式是逻辑不等式[τ(A→X)≥α]解的几个充要条件，给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理，得到了等价类的结构表示和等价类个数结论，为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法。

关键词: 二值命题逻辑, 逻辑不等式, 真度, 极小项, 解集

Abstract: Based on the truth degree, the type of logic inequality τ(A→X)≥α plays an important role in the study of the approximate reasoning in the two-valued propositional logic system L. According to several necessary and sufficient conditions for the solution of logic inequality τ(A→X)≥α in F（Sn）, the solution set expression of this kind of logic inequality is obtained, and the classification theory is suggested under the relations either equality of truth degree or logic equivalent. Meanwhile, the structural representation and number conclusion of equivalence are also got. This result can be used as the structural method for further study of logic inequality and its truth degree.

Key words: two-valued propositional logic, logic inequality, truth degree, minterm form, solution set

王廷明. 系统L中τ(A→X)≥α型逻辑不等式的解问题[J]. 计算机工程与应用, 2012, 48(16): 44-46.

WANG Tingming. Solution for logic inequality of τ(A→X)≥α type in system L[J]. Computer Engineering and Applications, 2012, 48(16): 44-46.

[1]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[2]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[3]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[4]	汪开普，张则强，邹宾森，毛丽丽. 模糊作业时间的拆卸线平衡Pareto多目标优化[J]. 计算机工程与应用, 2018, 54(1): 256-263.
[5]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[6]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[7]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[8]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[9]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[10]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[11]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[12]	李智勇，李峥，陈恒勇，张世文. 基于正交设计的动态多目标优化算法[J]. 计算机工程与应用, 2016, 52(14): 42-49.
[13]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[14]	马巧云. 逻辑系统[L?n]中一类特殊公式的[ΣΓ]-真度[J]. 计算机工程与应用, 2016, 52(11): 34-37.
[15]	高永刚，徐涵秋. 利用FIHS和BT的遥感影像融合改进算法[J]. 计算机工程与应用, 2015, 51(23): 23-27.