计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
16期
44-46,50
,共4页
二值命题逻辑%逻辑不等式%真度%极小项%解集
二值命題邏輯%邏輯不等式%真度%極小項%解集
이치명제라집%라집불등식%진도%겁소항%해집
二值命题逻辑L中τ(A→x)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用.通过F(Sn)中公式是逻辑不等式τ(A→x)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法.
二值命題邏輯L中τ(A→x)≥α型基于真度的邏輯不等式在二值命題邏輯繫統L的近似推理研究中有著重要應用.通過F(Sn)中公式是邏輯不等式τ(A→x)≥α解的幾箇充要條件,給齣瞭該邏輯不等式的解集錶示及其按真度相等關繫和邏輯等價關繫的分類定理,得到瞭等價類的結構錶示和等價類箇數結論,為基于真度的邏輯不等式問題的進一步研究和應用提供結構性方法.
이치명제라집L중τ(A→x)≥α형기우진도적라집불등식재이치명제라집계통L적근사추리연구중유착중요응용.통과F(Sn)중공식시라집불등식τ(A→x)≥α해적궤개충요조건,급출료해라집불등식적해집표시급기안진도상등관계화라집등개관계적분류정리,득도료등개류적결구표시화등개류개수결론,위기우진도적라집불등식문제적진일보연구화응용제공결구성방법.
