| 几类主范式在命题推理正确性判断中的应用 |
| |
| 引用本文： | 胡纪华.几类主范式在命题推理正确性判断中的应用[J].安康学院学报,2013(3):5-8. |
| |
| 作者姓名： | 胡纪华 |
| |
| 作者单位： | 安康学院数学与统计系,陕西安康725000 |
| |
| 基金项目： | 安康学院《离散数学》精品课建设项目 |
| |
| 摘 要： | 在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。
|
| 关 键 词： | 主析取范式 主合取范式 推理 正确性 |
The Appliance of Main Paradigm Judgment in the Propositional Reasoning |
| |
| HU Jihua.The Appliance of Main Paradigm Judgment in the Propositional Reasoning[J].Journal of Ankang Teachers College,2013(3):5-8. |
| |
| Authors: | HU Jihua |
| |
| Institution: | HU Jihua (Department of Mathematies and Statistics, Ankang University, Ankang 725000, Shaanxl , China) |
| |
| Abstract: | 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. |
| |
| Keywords: | principal disjuncfivefiormalform principal conjunctive reasoning correct |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
