公式 (数理逻辑)

✍ dations ◷ 2025-12-06 00:42:16 #数理逻辑,规则

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

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

相关

科尔萨科夫综合征科尔萨科夫氏症候群（Korsakoff's syndrome），又称健忘综合征，为一种大脑缺乏硫胺（维生素B1）而引起的精神障碍。其疾病由俄国神经学家谢尔盖·科尔萨科夫最先发现而命名。科尔萨科夫
土曲霉土曲霉（学名：Aspergillus terreus）为发菌科麹菌属下的一个种。可生长在土壤、饲料、风化煤、牛皮纸、粮食、霉腐物等基物上。该种分布于中国、澳大利亚、孟加拉国、巴西、加拿
北京大学第一医院坐标：39°55′54″N 116°22′49″E / 39.931765°N 116.380416°E / 39.931765; 116.380416 北京大学第一医院，简称“北大医院”，创立于1915年，是中国最早建立的临床医学院。现
麻醉品单一公约《麻醉品单一公约》（英语：Single Convention on Narcotic Drugs）是反对违法麻醉药物制造和走私的国际条约，它形成全球药品控制制度的基础。以前的条约只控制鸦片、古柯和衍生物（
代谢生化学代谢生化学是研究生物体内化学物质的利用消耗以及生物体所需分子的合成。例如核酸、脂质，碳水化合物，氨基酸等等代谢与合成。其中伴随着产生能量货币ATP以及其他所需分子的合
恐水症狂犬病（拉皮斯病，俗称疯狗症，字根来自拉丁语：rabies，意为“疯狂”）是一种由狂犬病病毒引起之人畜共患病，可于恒温动物身上造成严重脑炎。没有接受疫苗免疫的感染者，当神经症状出现后
历史主义一些人认为必须研究与解释人类历史发展，基于这些解释才能认真了解社会与政治。这样的见解被卡尔·波普尔称为历史主义。在这里，“人类历史”一词与“人类发展”或“人类发展史
Tay-sachsTay-Sachs，家族黑蒙性痴呆症。溶酶体缺少氨基己糖酯酶A，导致神经节甘脂GM2积累，影响细胞功能，造成精神性痴呆。医学导航：遗传代谢缺陷代谢、k,c/g/r/p/y/i,f/h/s/l/o/e,a/u,n,mk,
picogram为了帮助比较理解不同的质量数量级，在下面列出了列出了质量从10−36 kg 到1052 kg的事物。
计算经济学计算经济学(英语：Computational Economics)是一个介于资讯科学、经济学、与管理学间的研究主题。以经济系统的计算建模的应用方向与科目包含：代理人模型、一般均衡模型、总体