公式 (数理逻辑)

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

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

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

相关

室上性心搏过速室上性心搏过速（Supraventricular tachycardia），简称SVT，是因为心脏电传导系统异常造成的心跳过速。主要可分四型：心房颤动、阵发性室上性心搏过速（PVST）、心房扑动、沃夫巴金森怀
丹尼尔·卢瑟福丹尼尔·卢瑟福（英文：Daniel Rutherford，1749-1819），苏格兰化学家，氮气的发现者之一。丹尼尔的父亲约翰·卢瑟福（1695年－1779年）是爱丁堡大学医学院的教授。七岁时他在私人教育家蒙代
洪国藩洪国藩（1939年12月24日－），浙江宁波人，分子生物学家，中国科学院院士，第三世界科学院院士。现任中国科学院国家基因研究中心主任。1964年，毕业于复旦大学生物系。1979年－1983年间，在英国
卵巢肿瘤卵巢癌是发源自女性卵巢的癌症，会产生会入侵以及转移到其他部位的异常细胞。卵巢癌初期症状不明显，随病情进展，才会出现许多癌症的典型症状，包括胀气、腹胀、骨盆痛（英语：Pelvic p
湿度计湿度计，度量湿度的仪器，湿度计分为“毛发湿度计”和“干球湿球温度计”(干球温度计以及湿球温度计,两种组合而成)两种，在干球湿球温度计中，湿球是水银玻璃管式干湿表，玻璃球被湿
并吞了爱沙尼亚、拉脱维亚和立陶宛等国家爱沙尼亚拉脱维亚占领波罗的海国家指的是1940年6月14日，苏联根据苏德互不侵犯条约军事占领波罗的海三国（爱沙尼亚、拉脱维亚、立陶宛）这一事件，随后三国即被并吞并成为了苏联
ABBAABBA（乐队标志：ᗅᗺᗷᗅ，中文：阿巴）是瑞典著名流行乐队。字母缩写（ABBA）源自于乐队成员姓名的首字母（字母的排列顺序并无规定）。少数时候被记为Abba。在1976以前的乐队的宣传材料中，乐
罗马林达大学罗马琳达大学（英语：Loma Linda University）是基督复临安息日会创办的一所大学，位于美国加州罗马琳达。成立于1905年。罗马林达本来是约翰·伯登和艾伦·G·怀特建立于1905年的一
北京城市学院北京城市学院（英语：Beijing City University，BCU），简称：北城、海大、城院，创建于1984年，位于北京市海淀区北四环中路269号，是中国第一所具有颁发国家承认学历资格的民办高校。前身为
宁波晚报宁波晚报是中国浙江省宁波市出版的一种都市类报纸，创刊于1995年1月1日，现为宁波日报报业集团所属，以“心系寻常百姓，可读可用可亲”为办报宗旨。发布方式包含报纸、网站、iPad、