离散数学 第二章 谓词逻辑 2-6 前束范式

在命题演算中，常常要将公式化成规范形式，对于谓词演算，也有类似情况，一个谓词演算公式，可以化为与它等价的范式。

定义2-6。1 一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式叫做前束范式。

前束范式可记为下述形式：
（□v₁）（□v₂）…（□v₄）a，其中□可能是量词 任一个wffa转换为等价的前束析取范式的步骤与例题4类同。