公式 (数理逻辑)

✍ dations ◷ 2025-07-01 08:24:41 #数理逻辑,规则

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

公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}

相关

封闭经济封闭经济是一种"自给自足"的体制.这个术语常用于描述一国的政治体制或经济系统. 实行封闭经济的实体可以在没有外部援助或国际贸易的情况下生存和维持。但封闭经济不一定指
水钟水钟泛指以水记时的器具.漏壶为水钟的一种，又称铜壶滴漏、铜水滴漏，是一种古代的计时器，常用青铜为材料制作。李约瑟推测漏壶可能从美索不达米亚传入中国，时间可能早达公元前二
哈罗德·巴洛哈罗德·巴洛（英语：Harold Barlow，1899年11月15日－1989年4月20日），全名哈罗德·埃弗拉德·蒙蒂格尔·巴洛（英语：Harold Everard Monteagle Barlow），英国电气工程师，高锟的导师。1899年1
朝鲜人韩裔和朝鲜裔日本人，也被称为韩裔日本人或朝鲜裔日本人，指的是拥有日本国籍的朝鲜族人。目前人数有36万。在日朝鲜人和韩国人指的是居住在日本的南韩籍和北朝鲜籍人士，目前总数
木醋液木醋液（Pyroligneous acid），又称为焦木酸，是通过破坏蒸馏（Destructive distillation）木材和其他植物所产生的深色液体。木醋液的主要组分是乙酸、丙酮和甲醇。曾被用作乙酸的商业
海军总队海军总队（日语：海軍総隊／かいぐんそうたい Kaigun Sōtai ?）是旧日本海军在太平洋战争末期的一个海军组织。其囊括联合舰队、各方面舰队、各镇守府及警备府、海上护卫总司令部
谭利华谭利华（1955年－），汉族，中华人民共和国政治人物，北京市文联副主席、北京音乐家协会主席、北京交响乐团音乐总监。，中国共产党党员，第十、十一、十二届全国政协委员。2008年，当选第十一
南城南城县是中国江西省抚州市所辖的一个县。总面积为1698平方公里，2010年人口为32.6万。汉高祖五年（公元前202年）置县。北宋太平兴国三年（978年）设建昌军，治南城。明洪武二年（1369年
组织文化组织文化（Organizational Culture）或者企业文化（Corporate Culture）是指一个组织由其共有的价值观、仪式、符号、处事方式和信念等内化认同表现出其特有的行为模式。可以观察到
社会法西斯主义社会法西斯主义（英语：Social fascism；俄语：Социал-фашизм）是共产国际在1930年代早期持有的一种理论。它认为社会民主主义是法西斯主义的变种，在资本主义经济崩溃和无