2、公式，在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。 具有普遍性，适合于同类关系的所有问题。 在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。 公式精确定义依赖于涉及到的特定的形式逻辑，但
2、公式，在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。 具有普遍性，适合于同类关系的所有问题。 在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。 公式精确定义依赖于涉及到的特定的形式逻辑，但