前束

謂詞演算公式是前束範式如果是書面的一系列量詞隨後量詞的一部分(稱為矩陣 ) 。

每一個公式，就等於在經典邏輯公式在前束範式。 例如，如果φ ( y )項， ψ ( z )的，和ρ ( x )的是量詞免費公式自由變量然後顯示在前束正常的矩陣形式 ，而是邏輯等價而不是在前束範式。

謂詞演算公式(在 形式邏輯：邏輯操縱委會)

合式公式中，所有的量詞發生在一個完整的序列開始，範圍延伸到每個月底的合式公式，據説是在前束範式(無功能) 。 Wffs處於無功能往往更方便地工作，比那些沒有。 對於每一個合式公式的編碼，但是，有一個相當於合式公式在無功能(通常簡稱其無功能) 。一個有效的方法尋找…

Löwenheim - Skolem定理(在metalogic：該Löwenheim - Skolem定理)

謂詞演算中有一些減少或正常形式定理。 一個有用的例子是前束範式：每一句話可以減少相當於句子中所表達的前束範式，即在形式，例如，所有的量詞出現在開始。 這是特別有用的形式展示了中央的想法的一些證明的…