公式_(數理邏輯)

在數理邏輯中 ， 公式是 公式精確定義依賴於涉及到的特定的形式邏輯 ， 但有如下一個非常典型的定義 （ 特定於一階邏輯 ） ： 公式是相對於特定語言而定義的 ； 就是說 ， 一組常量符號 、 函數符號和關係符號 ， 這裏的每個函數和關係符號都帶有一個元數 （ arity ） 來指示它所接受的參數的數目 。