前束范式（prenex normal form） 一个谓词公式的前束范式仍是谓词公式. 若谓词公式F等值地转化成

那么 就是F的前束范式，其中Q1，Q2，…，Qk只能是"或$，x1,x2,…,xk是个体变元，B是不含量词的谓词公式.

每个谓词公式F都可以变换成与它等值的前束范式. 其步骤如下：

① 消去联结词®，«，`Ú；

② 将联结词Ø移至原子谓词公式之前；

③ 利用换名或代入规则使所有约束变元的符号均不同，并且自由变元与约束变元的符号也不同；

④将"x,$x移至整个公式最左边；

⑤ 得到公式的前束范式.