如下圖所示。
公式，在數學、物理學、化學、生物學等自然科學中用數學符號表示幾個量之間關系的式子。具有普遍性，適合於同類關系的所有問題。在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴於這個公式的自由變量的值之外。
公式精確定義依賴於涉及到的特定的形式邏輯，但有如下壹個非常典型的定義（特定於壹階邏輯):
公式是相對於特定語言而定義的；就是說，壹組常量符號、函數符號和關系符號，這裏的每個函數和關系符號都帶有壹個元數(arity）來指示它所接受的參數的數目。
根據謂詞邏輯的語義推導規則，語義應該具有壹致性，就是對於壹個命題邏輯語句集f，當且僅當至少存在這樣壹種解釋i，f的壹切元素在i之下都是真的，那麽，f是語義壹致的。
在命題邏輯語義學內，壹個賦值不能同時把真和假給予某個命題原子式。在命題邏輯語義學中，在同壹解釋下，壹個集合不能既屬於某個謂詞的外延又不屬於該謂詞的外延。