檢視公式的原始碼

{{Infobox person  
| 名称     =   '''公式'''
| 图像     = 
[[File:T01b24101f61b38b39e.jpg|缩略图||center|[http://wenwen.soso.com/p/20100725/20100725223011-346332003.jpg 原图链接]  [http://www.ppt118.com/png/2452c093.html 来自风云办公网]]]
}}
'''<big>公式</big>'''，就是用[[数学符号]]表示各个量之间的一定关系(如[[定律]]或[[定理]])的式子。具有[[普遍性]]，适合于同类关系的所有问题。 在[[数理逻辑]]中，公式是表达[[命题]]的形式[[语法]]对象，除了这个[[命题]]可能[[依赖]]于这个公式的[[自由变量]]的值之外。

公式精确定义依赖于[[涉及]]到的特定的[[形式逻辑]]，但有如下一个非常[[典型]]的定义（特定于一阶逻辑): 公式是相对于[[特定语言]]而定义的；就是说，一组[[常量符号]]、[[函数符号]]和[[关系符号]]，这里的每个函数和关系符号都带有一个元数(arity）来指示它所[[接受]]的[[参数]]的数目。