首页 | 本学科首页   官方微博 | 高级检索  
     

系统L中τ(A→X)≥α型逻辑不等式的解问题
引用本文:王廷明.系统L中τ(A→X)≥α型逻辑不等式的解问题[J].计算机工程与应用,2012,48(16):44-46,50.
作者姓名:王廷明
作者单位:青岛大学师范学院,山东青岛,266071
摘    要:二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法。

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

Solution for logic inequality of τ(A→X)≥α type in system L
WANG Tingming.Solution for logic inequality of τ(A→X)≥α type in system L[J].Computer Engineering and Applications,2012,48(16):44-46,50.
Authors:WANG Tingming
Affiliation:WANG Tingming Teachers College of Qingdao University, Qingdao, Shandong 266071, China
Abstract:Based on the truth degree, the type of logic inequality τ(A X ) 3 α 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 ) 3 α 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.
Keywords:two-valued propositional logic  logic inequality  truth degree  minterm form  solution set
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号