摘要
数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数两个方面,给出了析取范式与合取范式的存在性证明.
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.
出处
《高师理科学刊》
2014年第6期26-28,共3页
Journal of Science of Teachers＇College and University
关键词
逻辑联结词
析取范式
合取范式
logical connectives
disjunctive normal form
conjunctive normal form
