正文
等值式
定义：
设AA、B 是一阶逻辑的两公式，若A ↔ B 为逻辑有效式(永真式)，则称A 与BB是等值的，记做A ⇔ B ，称A ⇔ B 为等值式。
五种重要等值式
前束范式
定义：
设A 为合式公式(谓词公式)，若A 具有如下形式：
则称A 是前束范式，其中每个Q i ( 1 ⩽ i ⩽ k ) )为∀ 或∃ ，B 为不含量词的合式公式
例如：
是前束范式
不是前束范式
定义：
设AA、B 是一阶逻辑的两公式，若A ↔ B 为逻辑有效式(永真式)，则称A 与BB是等值的，记做A ⇔ B ，称A ⇔ B 为等值式。
定义：
设A 为合式公式(谓词公式)，若A 具有如下形式：
则称A 是前束范式，其中每个Q i ( 1 ⩽ i ⩽ k ) )为∀ 或∃ ，B 为不含量词的合式公式
例如：
是前束范式
不是前束范式
