公式 (数理逻辑) 在数理逻辑中公式是表达命题的形式语法对象除了这个命题可能依赖于这个公式的自由变量的值之外需要解释似乎翻译自英语而语焉不详 公式精确定义依赖于涉及到的特定的形式逻辑但有如下一个非常典型的定义特定于一阶逻辑公式是相对于特定语言而定义的就是说一组常量符号函数符号和关系符号这里的每个函数和关系符号都带有一个元数arity来指示它所接受的参数的数目