公式 (数理逻辑)

✍ dations ◷ 2025-04-26 12:10:40 #数理逻辑,规则

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

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

相关

  • 立体渲染立体渲染(英语:Volume rendering),又称为体绘制,是一种用于显示离散三维采样数据集的二维投影的技术。一个典型的三维数据集是CT或者MRI采集的一组二维切面图像。通常这些数据是
  • 美国能源部美国能源部(英语:United States Department of Energy),是美国联邦政府负责能源政策制定,能源行业管理,能源相关技术研发、武器研制等职责的行政部门。美国能源部设美国能源部部长
  • 冈比西斯二世冈比西斯二世(古波斯楔形文字:
  • 安提柯一世安提柯一世(独眼),或译安提哥那一世( Άντίγονος ό Μονόφθαλμος ,前382年-前301年,于前306年~前301年在位),腓力之子,出身马其顿厄利苗提斯贵族。在早年时为马其
  • 华西都市报《华西都市报》是创办于1995年1月的成都的综合性日报,是中国第一张都市报。因全面系统地创立了报纸市场化的运作理念和全新的竞争策略,开启了中国报业的“都市报时代”,荣获“
  • 猪带绦虫猪带绦虫(学名:Taenia solium;pork tapeworm),也称有钩绦虫或链状带绦虫,体长2-3米,宽7-8毫米,共有800-900个节片,后端成熟节片长约10毫米。
  • 五大湖工业区五大湖工业区位于北美洲五大湖南部的圣保罗-辛辛那提-布法罗三角区内、美国五大湖、密西西比河、俄亥俄河以及阿巴拉契亚山脉之间,涵盖了纽约州、宾夕法尼亚州、俄亥俄州、威
  • 安仁县安仁县位于湖南省东南部,为郴州市下辖的一个县。全境处罗霄山脉西麓,辖域面积1,478平方公里,位居全省县市的第72位;常住人口382,920人(2010普查),居全省第58位。2011年,全县GDP总量4
  • 北开普省北开普省 (南非语:Noord-Kaap,英语:Northern Cape),是南非九个省之一,前身是开普省。该省与南非的其中两个邻国——纳米比亚以及博茨瓦纳接壤。面积361,830平方公里(全国第一),2001年
  • 伊斯兰教的神在伊斯兰教神学里,神(阿拉伯语:الله‎、安拉)是天下万物的全能全知造物主、支柱、命定者及裁决者。伊斯兰教强调神绝对是与生俱来的独一无二(讨黑德)、大慈大悲及无所不能。根