通用格式，用數(shù)學符號表示，各個量之間的一定關(guān)系(如定律或定理)的式子，能普遍應用于同類事物的方式方法。

　　公式，在數(shù)學、物理學、化學、生物學等自然科學中用數(shù)學符號表示幾個量之間關(guān)系的式子。具有普遍性，適合于同類關(guān)系的所有問題。在數(shù)理邏輯中，公式是表達命題的.形式語法對象，除了這個命題可能依賴于這個公式的自由變量的值之外。公式精確定義依賴于涉及到的特定的形式邏輯，但有如下一個非常典型的定義（特定于一階邏輯): 公式是相對于特定語言而定義的；就是說，一組常量符號、函數(shù)符號和關(guān)系符號，這里的每個函數(shù)和關(guān)系符號都帶有一個元數(shù)(arity）來指示它所接受的參數(shù)的數(shù)目。