论文研究系统L中τ(A→X)≥α型逻辑不等式的解问题.pdf

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