几类主范式在命题推理正确性判断中的应用

The Appliance of Main Paradigm Judgment in the Propositional Reasoning

在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。

In propositional logic, according to the principal normal form of propositional formula can reflect the essential characteristics, its application in the judgment accuracy problems, presents the use of A B main paradigm, A and B main paradigm discriminate reason- ing A B correctness methods.