公式 (数理逻辑)

✍ dations ◷ 2025-12-02 08:13:52 #数理逻辑,规则

在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。

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

或

但是相比较按照这个公式计算 $f_{n}\,$ $f_{n}\,$ ，还是按照递归定义： $f_{n}=f_{n-2}+f_{n-1}(n\geq 3)\,$ $f_{n}=f_{n-2}+f_{n-1}(n\ge3)\,$ 进行计算更方便。

根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。{现代西方哲学逻辑，复旦大学出版社235页}

相关

山山是地面上被平地所围绕的具有较大的绝对高度和相对高度而凸起的地貌区。山离地面高度通常在海拔600米以上，包括低山、中山与高山，是否被称作山取决于当地人。山一般是因板块
大乌兹河大乌兹河（Great Ouse /ˈuːz/）位于英格兰东部，为英国第四长河流。大乌兹河下游亦被称为旧西河及伊利河。大乌兹河的源头在英格兰中部，流经东安格利亚在金斯林进入的北海的沃什
VENI VIDI VICI我来，我见，我征服（拉丁语：VENI VIDI VICI，国际音标：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2
世界林业大会世界林业大会（英文：World Forestry Congress，WFC）或称世界森林大会，为国际性的林业学术研讨会，是全世界规模最大、最具影响力的林业研讨会，主办单位为联合国粮农组织（FAO）林业部与各
栉虫目栉虫目（学名：Asaphida）是三叶虫纲下一个体型较大，具备多样性的目。其化石分布于古生代寒武纪中期至志留纪之间的地层。栉虫目三叶虫的头部（cephalon）与尾部（pygidium）通常大小相近，且
圣多美坐标：0°20′10″N 6°40′53″E / 0.33611°N 6.68139°E / 0.33611; 6.68139圣多美（葡萄牙语：São Tomé）是非洲岛国圣多美和普林西比的首都和最大城市，在圣多美岛上，2005年人口
马普托马普托（葡萄牙语：Maputo）是莫桑比克的最大城市和首都，亦是同名省份马普托市省（Província de Cidade de Maputo）的首府。由于地处印度洋岸，城市的经济在港口周围发展起来。根据2007
六氢番茄红素六氢番茄红素是一种橙色色素，天然存在于西红柿和其他蔬菜。是类胡萝卜素在形成过程中的一个中间物质，具有很强的活性与抗氧化作用，是第二个类胡萝卜素生物合成的产物。分析表明
铜川市铜川市，古称铜官、同官，是中华人民共和国陕西省下辖的地级市，位于陕西省中部，渭河平原北部。市境东南界渭南市，西临咸阳市，北达延安市。地处关中盆地与黄土高原过渡带，地势西北高、
南京黑螯虾南京黑鳌虾（学名：Cambaroides schrenckii）是拟螯虾属下的一种螯虾，原产于中国东北部和俄罗斯。它主要生活在深度不超过一米淡水中，但也能适应咸水。