百度百科
公式 (數學術語與其它意義的詞彙)
1、通用格式,用數學符號表示,各個量之間的一定關係(如定律或定理)的式子,能普遍應用於同類事物的方式方法。2、公式,在數學、物理學、化學、生物學等自然科學中用數學符號表示幾個量之間關係的式子。具有普遍性,適合於同類關係的所有問題。在數理邏輯中,公式是表達命題的形式語法對象,除了這個命題可能依賴於這個公式的自由變量的值之外。公式精確定義依賴於涉及到的特定的形式邏輯,但有如下一個非常典型的定義(特定於一階邏輯): 公式是相對於特定語言而定義的;就是說,一組常量符號、函數符號和關係符號,這裏的每個函數和關係符號都帶有一個元數(arity)來指示它所接受的參數的數目。 © 漢典