数理逻辑中主范式的存在性

• 作者: 张亚江
• 来源期刊: 高师理科学刊
• 学科: 数学
• 关键词: 逻辑联结词 析取范式 合取范式
• 年，卷（期）: 2014,（6）
• 页码范围: 26-28
• 页数: 3页
• 分类号: O141
• 字数: 2545字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9831.2014.06.007

摘要

数理逻辑中关于析取范式与合取范式的求法有两种，一种是利用真值表直接写出，另一种利用命题公式的等值演算得出。使用数学归纳法，从归纳于逻辑联结词的个数和归纳于命题的个数两个方面，给出了析取范式与合取范式的存在性证明。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亚江	黑龙江科技大学理学院	13	49	5.0	6.0