前束范式 一个谓词公式的前束范式仍是谓词公式. 若谓词公式F等值地转化成
那么 就是F的前束范式，其中Q1，Q2，…，Qk只能是"或$，x1,x2,…,xk是个体变元，B是不含量词的谓词公式.
每个谓词公式F都可以变换成与它等值的前束范式. 其步骤如下：
① 消去联结词®，«，`Ú；
② 将联结词Ø移至原子谓词公式之前；
③ 利用换名或代入规则使所有约束变元的符号均不同，并且自由变元与约束变元的符号也不同；
④将"x,$x移至整个公式最左边；
⑤ 得到公式的前束范式.
