公式 (数理逻辑)

✍ dations ◷ 2025-07-19 06:43:12 #数理逻辑,规则

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

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

相关

铁架台铁架台是一种常用实验器材，可以通过十字夹或万能夹等工具来扩展，以此来支撑如试管、滴定管等实验器材。铁架台也可以和铁圈相组合用于过滤。铁架台的底座通常使用不锈钢制成，可
epinephrine肾上腺素（Epinephrine或Adrenaline）, 3,4-三羟基-N-甲基苯乙胺。是肾上腺髓质分泌的激素及神经传导物质，也是一种药物。肾上腺素被应用于治疗多项疾病，包含全身性过敏反应、心搏
林地疏林是一个植被主要为树木的土地，疏林为森林的一种，和森林的不同处在于两者的树冠。在森林中，大部分的树冠都是相连的。因此，阳光不能轻易的到达地面；疏林则容许阳光透入地面，但仍
财团法人财团法人（foundation）是一具有法人资格的“财产的集合体”，由捐助人捐助一定数额的财产，并经一定法定程序而成立之法人团体。中华民国依据2018年立法院通过《财团法人法》，视创立
吕氏春秋《吕氏春秋》，又称《吕览》，是中国先秦战国末期的一部政治理论散文的汇编，共26卷，160篇，完成于秦王政六年（公元前241年），为秦国相国吕不韦及其门人集体编纂而成。其内容涉及甚广，以道
搜狐新闻搜狐（NASDAQ：SOHU），是一家互联网中文门户网站。1995年，搜狐创始人张朝阳从美国麻省理工学院毕业回到中国，利用风险投资创建了爱特信信息技术有限公司，1998年正式推出搜狐网。2000年
平安平安道（韩语：평안도），旧称关西，是朝鲜的一个历史地名，朝鲜王朝“朝鲜八道”之一。设立于1413年，道名合称自平壤（평양）与安州（안주）。相等于今日的以下地方：
裴敬思裴敬思（英语：Edward Carter Perkins，1875年7月11日－1958年10月30日），美以美会来华医疗传教士。他用自己的财产在江西九江开办了生命活水医院（Water of Life Hospital），担任医院院长近
元山市元山市（朝鲜语：원산시／元山市 Wŏnsan si */?），朝鲜民主主义人民共和国江原道首府，位于东朝鲜湾的港口城市，也有朝鲜人民军海军基地。2008年人口36万3127人。2014年起朝鲜政府于
翻译 (生物学)翻译（英语：Translation），是蛋白质生物合成（基因表达中的一部分，基因表达还包括转录）过程中的第一步。翻译是根据遗传密码的中心法则，将成熟的信使RNA分子（由DNA通过转录而生成）中“碱