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

The Appliance of Main Paradigm Judgment in the Propositional Reasoning

作　　者：胡纪华[1] 

机构地区：[1]安康学院数学与统计系,陕西安康725000

出　　处：《安康学院学报》2013年第3期5-8,共4页Journal of Ankang University

基　　金：安康学院<离散数学>精品课建设项目

摘　　要：在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用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.

关 键 词：主析取范式 主合取范式 推理 正确性 

分 类 号：O141[理学—数学]