公式 (数理逻辑)

✍ dations ◷ 2025-06-29 02:54:25 #数理逻辑,规则

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

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

相关

  • 金花镇金花镇,是中华人民共和国四川省德阳市绵竹市下辖的一个乡镇级行政单位。2019年12月,撤销金花镇,将其所属行政区域划归广济镇管辖。金花镇下辖以下地区:金山村、三江村、玄郎村、
  • 汉尼斯·阿尔文汉尼斯·奥洛夫·哥斯达·阿尔文(瑞典语:Hannes Olof Gösta Alfvén,1908年5月30日-1995年4月2日),瑞典等离子体物理学家、天文学家,致力于磁流体动力学领域的研究,其成果被广泛应
  • 遗传污染基因污染(英语:Genetic pollution)指对原生物种基因库非预期或不受控制的基因流动。长期以来,保护生物学以及自然保护提倡者用基因污染这一术语来形容从家养的、野生的、非本土
  • 圭,为中国古代用来祭祀之玉器(上尖下方)、瑞器、礼器,为官位最高者所执。在玉器中,主祭东方。皇帝的圭称为镇圭,正面刻有描金四山纹,分上下左右排列,象征东南西北四镇之山,表示“江山
  • RD以下为各国用于研究与开发(R & D)以美元计价费用的列表。研究开发开销低于一亿美元的国家未记在内;2010年全球用于研究开发的总费用大约为一万亿美元。
  • 电子书电子书,一般是指以储存成数位资料的书籍,某些情况下也特指专门用来阅读电子书的电子书阅读器。电子书必须透过特殊的阅读软件或设备,以电子档的形式(主流格式以EPUB及PDF为主),透
  • 穴状配体穴醚是一类人工合成的,可以与阳离子发生配位的双环和多环多齿配体。“穴醚(cryptand)”一词是指该配体形如空穴,将底物分子容纳在里面。整个分子是一个三维的结构。因此与单环的
  • 第一次石油危机第一次石油危机从1973年延续至1974年,又称作1973年石油危机,由于1973年10月第四次中东战争爆发,石油输出国组织(OPEC)为了打击对手以色列及支持以色列的国家,宣布石油禁运,暂停出口
  • 海蕾亚门海蕾亚门(学名:Blastozoa)是动物界棘皮动物门之下的一个亚门,由斯普林克尔(J.Sprinkle)在西元1973年从海百合亚门(Crinozoa)中划分出来。其下的物种皆已灭绝,它们的特征有专门的呼吸
  • F-15鹰式战机空对空导弹:AIM-7“麻雀”中程空对空导弹AIM-120“AMRAAM”先进中程空对空导弹AIM-9响尾蛇短程空对空导弹配置:四枚AIM-7麻雀导弹或四枚AIM-120先进中程空对空导弹,通常挂载于