公式 (数理逻辑)

✍ dations ◷ 2025-06-08 19:57:39 #数理逻辑,规则

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

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

相关

  • 肥胖换气不足症候群肥胖肺换气不足综合症亦称Pickwickian综合症,包括肥胖(BMI>30 kg/m2),睡眠时低氧血症和高碳酸血症,这是由睡眠时的肺换气不足(过度的缓慢或者浅呼吸)造成的。常伴有阻塞性睡眠呼
  • 声波声波是声音的传播形式。声波是一种平行波,由物体(声源)振动产生,声波传播的空间就称为声场。在气体和液体介质中传播时是一种纵波,但在固体介质中传播时可能混有横波。任何器官所
  • 克鲁伊夫公元1974年时的克鲁伊夫亨德里克·约翰内斯·“约翰”·克鲁伊夫(荷兰语:Hendrik Johannes "Johan" Cruijff, (荷兰语发音:.mw-parser-output .IPA{font-family:"Charis SIL","D
  • 第九届全国人民代表大会常务委员会第九届全国人民代表大会常务委员会委员长、副委员长、秘书长和委员由第九届全国人民代表大会第一次会议于1998年3月18日选出。任期由1998年3月至2003年3月。常委会组成情况
  • 英飞凌英飞凌科技股份有限公司(Infineon Technologies,FWB: IFX)总部位于德国慕尼黑,主力提供半导体和系统解决方案,解决在高能效、移动性和安全性方面带来的挑战(而主要业务亦包括为关
  • 1053年重要事件及趋势重要人物
  • 人口减少人口不足(又称人口稀少或人口过稀),通常是指一个国家的人口减少至无法支持该国的社会经济。举例来说,假如现时已退休的上一辈当年的每个家庭平均有三个小孩,而现时的新一代则平均
  • 简并态简并能级(英语:Degenerate energy level)在物理学中,简并是指被当作同一较粗糙物理状态的两个或多个不同的较精细物理状态。:p. 48例如在量子力学中,原子中的电子,由其能量确定的
  • M134高射速机枪M134迷你炮(Minigun)机枪是7.62mm口径的高转速多管旋转式机枪(每分3,000发),使用以外部供电能的加特林式的旋转枪管。“迷你炮”现在已经成为了外部供电来转动的加特林线膛枪的代
  • 太原街不同地方都有街道以“太原”命名,你找的可能是: