| 数理逻辑中主范式的存在性 |
| |
| 引用本文： | 张亚江.数理逻辑中主范式的存在性[J].高师理科学刊,2014(6):26-28. |
| |
| 作者姓名： | 张亚江 |
| |
| 作者单位： | 黑龙江科技大学 理学院,黑龙江 哈尔滨,150022 |
| |
| 摘 要： | 数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数两个方面,给出了析取范式与合取范式的存在性证明.
|
| 关 键 词： | 逻辑联结词 析取范式 合取范式 |
The existence of principal normal form in mathematical logic |
| |
| ZHANG Ya-jiang.The existence of principal normal form in mathematical logic[J].Journal of Science of Teachers＇College and University,2014(6):26-28. |
| |
| Authors: | ZHANG Ya-jiang |
| |
| Institution: | ZHANG Ya-jiang ( School of Science, Heilongjiang University of Science and Thnology, Harbin 150022, China ) |
| |
| Abstract: | In order to solve the disjunctive normal form and conjunctive normal form in mathematical logic,the first way is to use the truth table directly,and the other way is to equivalent calculation of propositional formula.By using of mathematical induction,gave the existence proof of disjunctive normal form and conjunctive normal form from those two aspects respectively,the number of connectives induction and the number of proposition induction. |
| |
| Keywords: | logical connectives disjunctive normal form conjunctive normal form |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
