主范式在推理有效性判断中的应用

The Usage of Principal Normal Form in Reasoning Valid Judgment

给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.

The principal normal form of propositional formula may embody the formula of the substantive characteristics,and it also has certain function in the logic reasoning validity judgment.This paper provides two essential approaches in reasoning valid judgment with principal disjunctive normal form and principal conjunctive normal form.The antecedent principal constitution points out valid conclusions form using the premise main conjunctive normal form.