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

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