公式 (数理逻辑)

✍ dations ◷ 2025-12-01 11:55:28 #数理逻辑,规则

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

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

相关

斜睾目见内文斜睾目（学名：Plagiorchiida）是吸虫纲复殖亚纲之下两个目之一。本目原来只是复殖亚纲之下五个目之一，但后来这些目现时大多成为了斜睾目之下的亚目。以下为部分本目的科：引
锤骨锤骨(malleus, hammer) 是人耳中锤状的小骨, 是三块听小骨（ossicles）中的一个,连接耳膜和砧骨。人的槌骨听小骨18周龄的人类胚胎的头部和颈部，图示其麦克尔软骨和舌骨板（阿尔伯
教育技术教育技术是以计算机为核心的移动信息通信技术在教育、教学中的运用。(双十洪纪承，2015)教育技术是一个新兴学科，是伴随着计算机的出现而出现的，它是传统教育插上计算机科学之后
新大陆新世界（英语：New World；拉丁语：Mundus Novus。中文也称新大陆），是欧洲人于15世纪末发现美洲大陆及邻近群岛后对这片新土地的称呼。“新世界”（Mundus Novus）一词最初是在亚美利哥·
IUPAC命名法IUPAC命名法（英语：International Union of Pure and Applied Chemistry chemical nomenclature）包括国际纯化学和应用化学联合会（IUPAC）规定的一系列的命名法，它规定从有机到无机
慧远净土宗十五祖慧远（334年－416年），俗姓贾，并州雁门楼烦县（今山西宁武附近）人，东晋高僧，是中观般若学大师。传统上认为，他曾在庐山东林寺组织莲社，故称庐山慧远或东林慧远。他弘扬西方净土
自由联合联系国是指一个主权国家在一定程度上与另一个较大的主权国家有着一种自由的合作伙伴关系的特殊政治关系，也称为自由联系关系。“自由联系”关系由《自由联合条约》或《联系国
光斑光斑，就字面而言是一个亮点，相当于拉丁文的“小火炬”。这个词有几个常用的技术用途，在行星体系命名法中，用来命名行星和卫星的某些表面特征，或是太阳表层上的现象。此外，在专业领
惊爆新闻线《惊爆新闻线》（英语：news line）是中华民国（台湾）电视的新闻谈话性节目，三立新闻台（台湾时间）每周六至周日，21:00-23:00播出。2017年5月13日片头更新。现任主持人为吕惠敏。
格瓦拉主义格瓦拉主义（西班牙语：Guevarismo；英语：Guevarism），又称游击中心主义或游击中心论。1960年代，格瓦拉主义产生于拉丁美洲，然后传播到世界各地。它是古巴革命领导人之一切·格瓦拉，在总