什麼是前束範式

前束範式是數理邏輯中使用謂詞邏輯描述形式語言的一種格式，其中所有的量詞都出現在公式的最前面，並且它們的轄域延伸到公式的末端。

前束範式的一般形式為(Q1x1)(Q2x2)…(Qkxk)B，其中Qi(1≤i≤k)表示量詞∀或∃，B是可能不含量詞的公式。前束範式的概念在計算機科學中經常被用到，它提供了一種標準化的方式來表示謂詞邏輯公式，使得量詞的轄域清晰明確。