命题公式的分类

• 永真公式
• 永假公式
• 可满足公式

若 G 是永真式，则 G 一定是可满足式

公式的等价

基本等价关系