摘要
给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.
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.
出处
《安康学院学报》
2011年第3期89-91,共3页
Journal of Ankang University
基金
安康学院<离散数学>精品课建设项目
关键词
主析取范式
主合取范式
推理
有效性
principal disjunctive normal form
principal conjunctive normal form
ratiocination
validity