首页 >
命题公式
✍ dations ◷ 2025-07-17 22:49:21 #命题公式
在数理逻辑中,公式是表达命题的形式语法对象,除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(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}(ngeq 3),}
进行计算更方便。根据谓词逻辑的语义推导规则,语义应该具有一致性,就是对于一个命题逻辑语句集f,当且仅当至少存在这样一种解释i,f的一切元素在i之下都是真的,那么,f是语义一致的。在命题逻辑语义学内,一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中,在同一解释下,一个集合不能既属于某个谓词的外延又不属于该谓词的外延。{现代西方哲学逻辑,复旦大学出版社235页}
相关
- 战壕热战壕热(英语:Trench Fever)是由五日热巴尔通体(学名Bartonella quintana)引起的传染病。特征为突然发病:发热、头痛,肌肉、骨及关节痛,胸、背出现皮疹。经体表寄生虫在人群中传播。
- 吞噬作用吞噬作用(英语:phagocytosis,来自古希腊语φαγεῖν)亦称吞食、噬菌作用,是吞噬细胞和原生动物通过细胞膜从周围环境摄取固体颗粒,并在其内部形成吞噬体的过程。吞噬作用是细胞
- 氦-3氦-3,是氦的同位素之一,元素符号为3He。它的原子核由二颗质子和一颗中子所组成。是稳定同位素。其相对丰度是0.000137%。一般相信,月球表面的风化层(表皮土)富含着大量的氦-3。因
- 长寿命裂变产物长寿命裂变产物一般指由核裂变反应产生的、半衰期超过20万年的放射性物质。这并非精确的科学定义,比如有人把某些半衰期在20年至100年间的裂变产物也称作长寿命裂变产物。另
- βsup+/supβsup+/sup在核物理学上,双β衰变(又称双重β衰变,英语:double beta decay)是一种放射性衰变,当中在原子核内的两颗质子同时变换成两颗中子,反之亦然。跟单β衰变一样,这个过程能使原子更接近
- 托马斯·阿奎纳圣托玛斯·阿奎那(St. Thomas Aquinas,约1225年-1274年3月7日;世俗界常译为托马斯·阿奎那或汤玛斯·阿奎那),是欧洲中世纪经院派哲学家和神学家。他是自然神学最早的提倡者之一,也
- 羊水栓塞羊水栓塞是一种罕见及未被完全了解的产科紧急症候。指在分娩过程中,羊水、胎儿细胞、胎发、胎粪、皮屑等物,透过子宫基底的胎盘进入母体血液循环而诱发母体之发炎反应。这作用
- 浆膜浆膜可以指:
- 托里切利语族托里切利语族(Torricelli languages)是一个由大约五十个巴布亚新几内亚北岸的语言所组成的语族,这些语言的总使用人数只有约80,000人。此语族以托里切利山脉为名。托里切利语
- 西北高加索语系西北高加索语系(英语:Northwest Caucasian languages),亦称西北高加索语、西高加索语(英语:West Caucasian)、阿布哈兹-阿迪格语(英语:Abkhazo-Adyghean),是指在西北高加索地区使用的一