摘要
在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。
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.
出处
《安康学院学报》
2013年第3期5-8,共4页
Journal of Ankang University
基金
安康学院<离散数学>精品课建设项目
关键词
主析取范式
主合取范式
推理
正确性
principal disjuncfivefiormalform
principal conjunctive
reasoning
correct