通用公式

在謂詞演算中，通用公式是一種前束正規化公式（即，一個公式寫成量詞和約束變數的字串，後跟一個無量詞部分），其中量化的變數是全稱量化的。

每個通用公式在邏輯上等價於某個存在公式的否定（反之亦然）。

當通用公式中沒有自由變數（即，當所有變數都被約束）時，它被稱為全稱語句。