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

摘要：

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

关键词：主析取范式、主合取范式、推理、有效性

所属期刊栏目：23

分类号：O141(数理逻辑、数学基础)

资助基金：安康学院《离散数学》精品课建设项目

在线出版日期：2011-12-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：89-91