公式 (数理逻辑)

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

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

公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(arity)来指示它所接受的参数的数目。

但是相比较按照这个公式计算 f n {\displaystyle f_{n}\,} ,还是按照递归定义: f n = f n 2 + f n 1 ( n 3 ) {\displaystyle f_{n}=f_{n-2}+f_{n-1}(n\geq 3)\,} 进行计算更方便。


根据谓词逻辑的语义推导规则,语义应该具有一致性,就是对于一个命题逻辑语句集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通过转录而生成)中“碱