公式 (数理逻辑)

✍ dations ◷ 2025-03-04 00:33:19 #数理逻辑,规则

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

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

相关

腹肌腹直肌（简称腹肌）是指躯干下半部（或称腹部）的器官，由若干片状的肌肉保护着，并固定在适当的位置。他们包括两块腹直肌，沿着身体前面，从胸廓延伸到骨盆。当腹直肌收缩时，腹部被往内拉。
舆论舆论，或称民意（英语：Public opinion），其定义非常多样化，人们都意识到舆论的重要性，但是对于什么是舆论却从来没有达成一致的意见，就和其它社会科学一样，舆论学对舆论的定义决定了舆论
RCHNaCN腈钠是指腈类化合物和钠离子形成的盐，这类盐被认为是反应中存在的中间体。腈钠可由腈和氨基钠、取代氨基钠或金属钠反应得到。但由于腈钠的高度不稳定性，其固体的分离特别困难
建成邻接行政区大同区、中山区、延平区、城中区建成区为台湾台北市已整并的行政区之一，区名取自老地名“建成街”。位于台北市西侧旧市区之市中心，为当时台北市面积最小、人口密度
鲁珀特地 (1670年-1870年)鲁珀特地，或鲁珀特王子地（Rupert's Land），是英属北美的一个地区，包括哈德森湾流域的大部分，在1670年至1870年的200年时间内名义上归哈德逊湾公司所有，实际上由大英帝国所统治。虽然
海水温差发电海水温差发电法（英语：Ocean Thermal Energy Conversion, OTEC）是一种可再生能源，主要是利用表层海水与深层海水的温度不同来进行发电。海洋温差发电是利用热交换的原理来发电。
三叶葵家纹家纹（日语：家紋／かもん Kamon */?）为日本武家、公家为表示自己的持有物而标上的记号，之后成为个人身份之用。日本战国时代后，家纹定型为象征门第出身的贵族纹章。家纹有过百种式
博特拉大学雪兰莪沙登（总校）博特拉大学（马来语：Universiti Putra Malaysia）简称：博大（UPM）（又称布特拉大学，或布大），是位于马来西亚首都吉隆坡南面附近高科技地段,地处马来西亚硅谷的一所国立大学
BIS安全情报服务（捷克语：Bezpečnostní informační služba 英语：Security Information Service 简称 BIS）是捷克共和国公民情报机构之一。专责捷克共和国境内的反情报活动。本
中三评估笔试、口试、听力、报告中三评估（马来语：Pentaksiran Tingkatan 3；英语：Form 3 Assessment；简称PT3）是由马来西亚考试局（Malaysian Examinations Syndicate）以及马来西亚教育部（Minis