离散

命题

公式分类和等价

• 永真式 - 重言式
• 永假式 - 矛盾式

• 可满足公式

  等价公理：对于任意两个公式G、H，G=H的充分必要条件是$G\leftrightarrow H$是永真公式。

---

---