前束范式是指数理逻辑中使用谓词逻辑所描述的形式语言的一种格式。

前束范式是一切量词都非否定地置于公式前方，并且其辖域都延伸至公式末端的公式。

如E是一前束篇改范式，则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词，B称为基式或母式。(QXt)或者是(x1)或者是(x1)，X1=(i=1，2，…n)各不相同，B中不出现量词。如：“(x)(F(x)VG(x))”、“(x)(y)(z)(R(x、y、z)→S(x、y、z、w))”都是前束范式。

前束范式介绍：

前束范式亦称前束式，一种谓词演算公式。指其一切量词都未被否定地处于公式的最前端且其辖驼召耻域都延伸至公式的末端的谓词演算公式。设Q∈{，}，一个公式α是前束范式，当且仅当存在一个不含量词的公式β，使得α=(Qx)(Qx)…(Qx)β。

一个沫矿公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末端，则该公式叫做前束范式(Prenex Normal Form)。