前束范式

一阶逻辑 的公式是前束范式，如果它具有以下形式

(1)

其中每个 是一个 量词 ("对于所有") 或 ("存在")，并且 是无量词的。

例如，公式

(2)

是前束范式，而公式

(3)

则不是，其中 表示 或。

每个 一阶逻辑 公式都可以转换为等价的前束范式公式。