内江师范学院学报
內江師範學院學報
내강사범학원학보
JOURNAL OF NEIJIANG TEACHERS COLLEGE
2010年
4期
5-8
,共4页
反向MP问题%反向MT问题%(L)ukasiewicz命题逻辑系统%形式解
反嚮MP問題%反嚮MT問題%(L)ukasiewicz命題邏輯繫統%形式解
반향MP문제%반향MT문제%(L)ukasiewicz명제라집계통%형식해
通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在(L)ukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三Ⅰ算法的结果一致,从而在(L)ukasiewicz逻辑系统中实现了反向三Ⅰ算法的形式化推理机制.
通過一箇F(S)上的預序,提齣瞭反嚮MP問題,多重反嚮MP問題以及反嚮MT問題,多重反嚮MT問題.在(L)ukasiewicz命題邏輯繫統中討論併得到瞭以上問題的解,說明瞭在某種意義下,這些解和反嚮三Ⅰ算法的結果一緻,從而在(L)ukasiewicz邏輯繫統中實現瞭反嚮三Ⅰ算法的形式化推理機製.
통과일개F(S)상적예서,제출료반향MP문제,다중반향MP문제이급반향MT문제,다중반향MT문제.재(L)ukasiewicz명제라집계통중토론병득도료이상문제적해,설명료재모충의의하,저사해화반향삼Ⅰ산법적결과일치,종이재(L)ukasiewicz라집계통중실현료반향삼Ⅰ산법적형식화추리궤제.
