前束範式是什麼

前束範式是數理邏輯中使用謂詞邏輯所描述的形式語言的一種格式，也是一種謂詞演算公式。

前束範式的特點是公式中的所有量詞（∀或∃）都非否定地置於公式的最前端，且其轄域延伸到公式的末端。前束範式可以表示為(Q1x1)(Q2x2)…(Qkxk)A，其中Qi(i=1,2,…,n)為量詞，A為不含有量詞的公式。前束範式在邏輯和數學中用於簡化和標準化謂詞演算公式。