谓词逻辑中的一种范式。前束范式是具有如下形式的公式：QxQx…QxB，其中每一Q(i=1，…n)是或，B中无量词，并且变元x，…x各不相同，它们都在B中出现。量词串Qx，…，Qx称为前束词，B称为基式(或母式)。谓词逻辑中的每个公式，都有一个与它等值的前束范式。给定一个公式，能按一定的步骤找出它的前束范式。由于每一公式都有一个与它等值的前束范式，在考虑公式的真假，研究公式的可满足性和有效性时，和在研究判定问题时，可以限制在前束范式的研究。
或，B中无量词，并且变元x，…x各不相同，它们都在B中出现。量词串Qx，…，Qx称为前束词，B称为基式(或母式)。谓词逻辑中的每个公式，都有一个与它等值的前束范式。给定一个公式，能按一定的步骤找出它的前束范式。由于每一公式都有一个与它等值的前束范式，在考虑公式的真假，研究公式的可满足性和有效性时，和在研究判定问题时，可以限制在前束范式的研究。