离散数学——命题逻辑（命题、联结词、命题公式、对偶式、大小项、主范式、推论、直接证明、反证法、cp规则）

---

---

1.1     命题与表示：

---

---

---

对于1.1，就是告诉我们什么是命题，我们要会判断什么是命题。

---

---

1.2     联结词：

---

---

---

---

重点是“蕴含”、“等价”、“异或”

---

---

1.3     命题公式与真值表示：

---

---

---

---

---

1、要知道什么是合式公式（不是很重要，但是很简单）
2、要会画真值表（用处挺大的）
3、熟练掌握表中的基本等价公式（会运用、会转换）

---

---

1.4     对偶与范式：

---

---

---

---

---

---

---

---

1.5     推理：

---

---

---

---

---

---

---

1.6     联结词功能集：

---

---

---