公式就是用数学符号表示各个
量之间的一定关系(如定律或定理)的式子。具
来自有普遍性,适合于同
类关系的所有问题。
在
数理逻辑中
360百科,公式是表达命题
王核办许的形式语法对象
,除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖
于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻
厂破林辑): 公式是相对于特定语言而定义的;
就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(arity
束才选挥图由测胞阻)来指示它所接受的参数的数目。