摘要：主范式是離散數學中的重要組成部分，在各學科研究領域的發展中，有著非常廣泛的應用.本文主要討論數理邏輯中的重要概念主范式的求解方法：真值表法、等值演算法、真值指派法及構造樹法等；并且論述了主范式在判斷命題公式是否等價、判斷命題公式的類型、判斷推理過程是否正確以解決實際問題等方面的應用.

關鍵詞：主范式；數理邏輯；等值演算 

目錄

摘要

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