前束範式

在謂詞演算中 ， 如果一個公示可以被寫爲量詞在前 ， 隨後是被稱爲母體的無量詞部分 ， 則稱其爲前束範式的 ， 所有經典邏輯公式都邏輯等價於某個前束範式公式 。 可以用公式在如下重寫規則下的邏輯等價來證實 ： 進一步推論可得 ： 它們的存在對偶 ： 這裏的 在 中是非自由的 ， 並注意通過這些規則的持續應用所有量詞都可以移動到公式的前面 。 某些證明演算只處理公式寫爲前束範式的理論 。 本概念爲研究算數階層和所必需 。 前束範式是哥德爾證明他的哥德爾完備性定理的主要工具 。 Q Category: 模型論