離散數學學習筆記（一）
04-04
命題邏輯
吸收律的證明 及 24個重要的等值式
n元真值函數
異或聯結詞、與非聯結詞、或非聯結詞
任何命題公式範式存在性證明 及 求其範式的具體步驟
求析取範式的步驟
主析取範式的用途：
1. 判斷兩命題公式是否等值；
2. 判斷命題形式的類型；
3. 求命題公式的成真與成假賦值；
由主析取範式求合取範式
八條重要的推理定律
一階邏輯
一階邏輯的合式公式及其解釋、邏輯有效式的概念
一階邏輯等值式幾個定理
量詞否定等值式、量詞轄域收縮與擴張等值式、量詞分配等值式
一階邏輯量詞分配的推理定理
全稱量詞消去及引入規則
存在量詞消去及引入規則
推薦閱讀：