公式 (数理逻辑)

✍ dations ◷ 2025-05-17 16:26: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页}

相关

大希腊大希腊（希腊语：Μεγάλη Ἑλλάς）是指公元前8世纪到公元前6世纪，古希腊人在安纳托利亚、北非以及南欧的意大利半岛南部建立一系列殖民城邦的总称。这其中最著名的当属安
Wiki软件比较以下表格中列出部分Wiki引擎的技术信息。（Microsoft Excel或OpenOffice.org Calc对本页面有很大帮助）
二甲基砜二甲基砜（Methylsulfonylmethane)，简称为有机硫 (MSM)其化学式为(CH3)2SO2、甲基硫酰基甲烷的砜类有机化合物。二甲基砜在常温下是无色固体，无化学活性。在一些植物中含有二甲
热带季雨林季风雨林结构类似热带雨林，因为位于季风气候区，有短暂的干季，许多的树种具有落叶的特性。因阳光可照射到地面，底层灌木丛生，常形成丛林（jungle），通行不易。生物种类与热带雨林相似，成
社交活动社交，是包含人类在内等有生命的有机体与他们所意识到的其他生物（包含有生命的有机体同类）产生互动与交流，无论此互动来往是志愿或非志愿（英语：volition (psychology)）的。
地铁列车铁路列车，简称列车，或称火车，是指在铁路轨道上行驶的车辆，通常由多节车厢所组成，可以载运乘客或是货物。火车的动力来源可以来自个别的铁路机车或是将动力分散到每个车厢的动力分
德岛县德岛县（日语：徳島県／とくしまけん Tokushima ken */?），旧名阿波，是日本47个都道府县之一，位于四国岛东部，与兵库县的淡路岛隔鸣门海峡相望。这里海面陡然窄到只有1.3公里。由于潮
岭南大学岭南大学（韩语：영남대학교）位于韩国大邱广域市以东的庆尚北道庆山市，为韩国著名的私立大学之一，亦是首都首尔以外最大型的大学。该校2020QS亚洲大学排名中亚洲排名第156,位于中国
徐静蕾徐静蕾（1974年4月16日－），生于中国北京，祖籍中国湖南湘潭，毕业于中国北京电影学院表演系，中国女演员、导演。与周迅、赵薇和章子怡并称为中国四大花旦。徐静蕾在北京出生，求学时期因
太空先锋《太空先锋》（英语：The Right Stuff），又译《征空先锋》、《太空英雄》，是一部1983年正式上映的美国电影，基于美国新闻作家兼记者汤姆·沃尔夫所著的写实性小说《真材实料》（The Rig