公式 (数理逻辑)

✍ dations ◷ 2025-09-08 03:02:38 #数理逻辑,规则

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

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

相关

  • γ-变形菌纲详见细菌分类表γ‐变形菌纲(学名:Gammaproteobacteria)属于细菌界变形菌门,是目前所知的细菌中种类最多的一纲,包括一些医学上和科学研究中很重要的类群,如肠杆菌科(Enterobactera
  • 胸腔外科胸腔外科学或称心胸肺外科(英语:Cardiothoracic Surgery),是一门医学专科,专门研究胸腔内器官,包括心脏、肺、气道与呼吸系统、胸壁、纵隔、膈肌和食道等,以及这些器官与部位的诊断
  • 理智理智(英语:reason),一种人类的心智能力。它被认为是一种思考、计算、衡量、推理与逻辑的能力,通常被当成形容词来使用。当我们说一个人是理智的,代表他的行为都是经过思考,考虑过对
  • 蜂王浆蜂王浆(英语:Royal jelly),又称蜂皇浆、蜂王乳等,是工蜂的一种分泌物,喂食蜂后的食物。蜂王浆是由蜂群中的哺育工蜂以其舌腺和上颚腺等腺体分泌的浆状物,初出生的蜂幼虫只要一直食
  • 生物特征识别生物识别技术(biometrics,也称生物测定学),是指用数理统计方法对生物进行分析,现在多指对生物体(一般特指人)本身的生物特征(英语:Biosignature)来区分生物体个体的计算机技术。研究领
  • 汉特人汉特人(Ха́нты),亦称奥斯恰克人、奥斯蒂亚克人(Ostyak),是俄罗斯的一个土著民族,自称Khanti、Khande、Kantek。主要居住在汉特-曼西自治区,该地区在古代被称为“尤格拉”。汉
  • 武田药品武田药品(日语:武田薬品/たけだやくひん takeda yakuhin)是日本一家制药公司,自1781年以“近江屋”药商之名成立至今已有200余年的历史。其于欧洲各国、韩国、泰国、新加坡、马
  • 金丝雀码头坐标:51°30′13″N 0°01′06″W / 51.503611°N 0.018333°W / 51.503611; -0.018333金丝雀码头(英语:Canary Wharf)是英国伦敦的主要商业区之一,数栋英国最高的建筑物座落于此
  • 同志国际同性恋黑手党(英语:Gay Mafia),也被称为“天鹅绒黑手党 / 丝绒黑手党”(Velvet Mafia)、“薰衣草黑手党 / 淡紫色黑手党”(Lavender Mafia)、“同性恋秘密警察”(Gaystapo)、“同性
  • 君山君山位于湖南岳阳西部的洞庭湖中,是一个小岛,全称君山岛又名爱情岛。国家5A级景区,面积仅0.96平方公里,最高峰海拔63.5米。古代称为湘山、洞庭山。屈原在《九歌》中把葬于此的二