公式 (数理逻辑)

✍ dations ◷ 2025-12-10 06:11:10 #数理逻辑,规则

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

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

相关

春运国务院中央军委测绘机构春运，即“春节期间的交通运输”的简称，是中国大陆在农历春节前后发生的一种大规模的高交通运输压力及堵塞的现象，一般发生在春节节前15天及节后25天左右
冬季运动冬季运动是指在雪上或冰上进行的运动。大多数的运动是滑雪、滑冰和滑雪橇的变化。原本只流行于冬季寒冷的地区，不过有人造雪后，在许多不下雪的地方也流行了。常见的个人运动包
罗伯特·鲁宾逊罗伯特·鲁宾逊爵士，OM，PRS、FRS（英语：Sir Robert Robinson，1886年9月13日－1975年2月8日），英国化学家，他于1947年赢得诺贝尔化学奖，原因是他对植物生物碱的研究。他从1930年到1954年在
记忆B细胞记忆B细胞是在初次免疫反应后，产生IgM抗体的B细胞转为产生IgG的一种B细胞。在一个抗原与一个从未被此抗原刺激过的B细胞接触时，将激活初次免疫，B细胞将大量增值，其中多数分化为
Grinding贴身舞是舞伴舞的一种，即两个或多个舞伴以互相摩擦对方身体的方式跳舞。做为一种新近出现的现代舞，贴身舞最早在夜总会风靡，后来更流行于美国和加拿大的年轻学生之间。由于不赞
专利流氓专利流氓又称专利蟑螂（英语：Patent Troll），用于形容一些积极发动专利侵权诉讼以获取赔偿，却从没生产其专利产品的个人或公司。至2008年为止美国是全世界专利纠纷最多的国家之一，其
红胡子埃里克红胡子埃里克（古诺斯语：Eiríkr hinn rauði，950年－1003年），也称“红魔埃里克”或“红发埃里克”及“红衣埃里克”，维京探险家，格陵兰的开发者。埃里克出生于挪威罗加兰（Rogaland），其父
莫诺湖莫诺湖（英语：Mono Lake）位于美国加州莫诺县，形成于至少760,000年前。莫诺湖在优胜美地国家公园附近，临近内华达山脉，面积约60平方英里（160平方千米），因地居偏远，少有人知。是北美最古
寒衣节寒衣节，又称祭祖节、包袱节、十月朝、过十月一，是中国传统节日，流行于华北，为每年的农历十月初一，是民间祭祖的日子，相传祖灵会在本日回返人世，领取御寒衣物准备过冬，故人间除了祭祀
金融计量经济学金融计量经济学(英语：Financial Econometrics)是金融学的一个分支，它是以经济理论为基础，运用数学工具研究经济现象及其变化规律的一门学科，与计量经济学不同的是，它偏向于金融方