公式 (數理邏輯) - 維基百科，自由的百科全書

在 數理邏輯 中， 公式 是表達 命題 的形式語法對象，除了這個命題可能依賴於這個公式的 自由變數 的值之外。 公式精確定義依賴於涉及到的特定的形式邏輯，但有如下一個非常典型的定義（特定於 一階邏輯 ）:公式是相對於特定 語言 而定義的 ...

zh.wikipedia.org