公式的等价

$$G⟺H$$

所有解释真值都相同

公式等价的充要条件

$G=H$ 的充要条件是 $G\leftrightarrow H$ 是永真公式

可判定性

指向原始笔记的链接