公式 (数理逻辑)

✍ dations ◷ 2025-11-30 03:08:28 #数理逻辑,规则

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

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

相关

镄5f12 7s22, 8, 18, 32, 30, 8, 2主条目：镄的同位素镄（Fermium）是一种人工合成元素，符号为Fm，原子序为100，属于锕系元素，具有放射性，为一超铀金属元素。镄是能够用中子撞击较轻元素而
华盛顿时报《华盛顿时报》（The Washington Times），于美国华盛顿哥伦比亚特区的一份日报，2005年3月31日发行量为103,017份，约为其主要地区竞争对手《华盛顿邮报》同期发行量的七分之一。该报
高积云高积云(英语：Altocumulus)是中云的一类，云块较高层云小，但可清晰分辨轮廓，有时出现在两个或以上的高度，高积云较薄时呈白色，在较厚时呈暗灰色。高积云云状可以是扁圆形、瓦片状等，
光电效应光电效应（英语：Photoelectric Effect）是指光束照射物体时会使其发射出电子的物理效应。发射出来的电子称为“光电子”。:1060-1063:1240-12461887年，德国物理学者海因里希·赫兹
右北平郡右北平郡，中国古郡名。战国时燕国置。秦代郡治在无终县（今天津蓟县）。西汉移治平刚县（今内蒙古宁城县甸子镇黑城村黑城古城），隶属于幽州刺史部。王莽时改称北顺。东汉时移治土垠县
汤姆·克鲁斯汤姆·克鲁斯（英语：Tom Cruise，1962年7月3日－）全名托马斯·克鲁斯·梅波瑟四世（英语：Thomas Cruise Mapother IV），是美国男演员及电影制片人。1986年出演《壮志凌云》一片，扮演F-14战
艾尔蒙地爱满地（El Monte），又译为“艾尔蒙地”，是美国加利福尼亚州洛杉矶县的一个城市。2000年人口115,965人。艾尔蒙地高中学区有高中.
国民经济核算国民经济核算或“国民经济会计制度”（英语：system of national accounts，缩写作 SNA）指使用完整、一致的财会核算办法量化一国或一地区的所有经济活动。SNA核算体系能够全面反映
系统发生学，现代希腊语：fílo - 种系，性别和，现代希腊语：jénnissi - 新生，诞生。英语：Phylogenetics，又称系统发育学，简称为谱系学）是研究生物个体或群体（例如物种或种群）之间的演化历史和关系。
荷兰语正写法荷兰语正写法（荷兰语：Nederlandse spelling），简称荷兰文，是一套以拉丁字母为基础，制定出适合用于拼写荷兰语的正写法。该拼写系统由政府以法令颁布，对所有政府文件和教育机构皆具强