公式 (数理逻辑)

✍ dations ◷ 2025-11-05 00:39:56 #数理逻辑,规则

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

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

相关

低血糖症低血糖（英语：Hypoglycemia、low blood sugar）是指血液中的葡萄糖浓度（血糖），特别是血浆中的，低于正常水平的现象，一般是治疗糖尿病时的并发症，也可能是由多种原因所引起的，并导致一系
AATC代码A（消化系统和代谢系统）是解剖学治疗学及化学分类系统的一个分类，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborating Centre for Drug Statistics Methodolo
吉伦特省吉伦特省（法语：Gironde），又称纪龙德省，是法国新阿基坦大区所辖的省份，滨大西洋，以吉伦特河口命名。该省编号为33。法国大革命时期的吉伦特派即以此地命名。5个海外省及大区
肖万伊夫·肖万（法语：Yves Chauvin，1930年10月10日－2015年1月28日），法国化学家，诺贝尔化学奖获得者。他是法国石油研究所的荣誉研究主任，法国科学院成员。由于从1970年代开始的在烯烃复
豆渣豆渣又称豆腐渣是豆制品的一种，是在以大豆制作豆腐或豆浆时过滤后剩下的残渣。价值不高，吃起来口感不是太好，但营养丰富，传统上在东亚地区会被用为食材，亦可加热减少水分后当作面
邵族邵族（邵语：Thau或Thao），是一个台湾的原住民族，聚居于南投县日月潭及雨社山一带。相传邵族的祖先是追逐白鹿翻越“阿里山”一带('arithan / 'ari a hundun)而来。人口甚少，但与分部
鼻化元音鼻化元音（nasal vowel、半鼻音、鼻腔元音）是发音时气息从口腔和鼻腔同时流出的元音。国际音标及葡萄牙语都采用“~”标示鼻化。
陈祖范陈祖范（1676年－1754年），字亦韩，亦字见复，江苏常熟县人，清朝政治人物。雍正元年（1723年）癸卯恩科举人，同年会试中式，同乡、大学士蒋廷锡许以状元，于是托病不赴殿试。乾隆十六年（1751年），荐举
坐牛坐牛（拉科塔语：Tȟatȟáŋka Íyotake；英语：Sitting Bull；约1831年－1890年12月15日），美国印第安人拉科塔族胡克帕帕（英语：Hunkpapa）领袖。1831年3月坐牛生于今日美国南达科他州北部，幼
环苏禄海伊斯兰苏丹王国坐标：6°03′07″N 121°00′07″E / 6.05194°N 121.00194°E / 6.05194; 121.00194苏禄苏丹国（阿拉伯语：سلطنة سولو دار الإسلام‎），全称苏禄和平之家伊斯