在命题演算中，常常要将公式化成规范形式，对于谓词演算，也有类似情况，一个谓词演算公式，可以化为与它等价的范式。 定义2-6。1一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式叫做前束范式。 前束范式可记为下述形式：（□v1）（□v2）…（□v4）a，其中□可能是量词或量词ヨ，vi（i=1，2，3，…，n）是客体变元，a是没有量词的谓词公式。 例如（"x）（"y）（$z）（q（x，y）®r（z）），（"y）（"x）（øp（x，y）®q（y））等都是前束范式。 定理2-6.1任意一个谓词公式，均和一个前束范式等价。证明首先利用量词转化公式，把否定深入到命题变元和谓词填...