摘要：主范式是离散数学中的重要组成部分，在各学科研究领域的发展中，有着非常广泛的应用.本文主要讨论数理逻辑中的重要概念主范式的求解方法：真值表法、等值演算法、真值指派法及构造树法等；并且论述了主范式在判断命题公式是否等价、判断命题公式的类型、判断推理过程是否正确以解决实际问题等方面的应用.

关键词：主范式；数理逻辑；等值演算 

目录

摘要

Abstract

1 预备知识-3

1.1绪论-3

1.2预备知识-3

2 主范式的求法-6

2.1 真值表法-6

2.2 等值演算法-8

2.3 真值指派法-12

2.4 构造树法-15

3 主范式的应用-17

3.1 判断命题公式的赋值情况并推出真值表-17

3.2 判断命题公式的类型-18

3.3 判断命题公式是否等价-19

3.4 判断推理过程是否正确以解决实际问题-20

4 结论和启示-25

谢辞-26

参考文献-27