首页 >
命题公式
✍ dations ◷ 2025-04-25 00:29:34 #命题公式
在数理逻辑中,公式是表达命题的形式语法对象,除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(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页}
相关
- 低毒性病毒科低毒性病毒科(Hypoviridae) 又译作次毒(性)病毒科或轻毒(性)病毒科,是双琏RNA病毒中的一科,该类病毒主要感染菌类。下有一属:*次毒病毒属(Hypovirus,又译作低毒性病毒属)直径50-80nm,
- 波罗的海欧洲(灰色) —波罗的海国家(英语:Baltic states,爱沙尼亚语:Balti riigid, Baltimaad,拉脱维亚语:Baltijas valstis,立陶宛语:Baltijos valstybės;又称波罗的海三国)是指地缘政治学概
- 茎茎是植物的营养器官之一,是大多数植物可见的主干,也是维管植物两个主要结构之一,另一个是其根。茎是位于植物生长叶片的节点(或作“结节”)之间的部分。当然,例如仙人掌的变态茎。
- 念珠菌病念珠菌症(Candidiasis)是假丝酵母属(酵母菌的一种)所造成的霉菌感染,在感染口腔时,就会引发鹅口疮(Thrush)。症状和病征包括在舌头、口腔以及咽喉的部位出现小白点,也可能产生例如酸
- 亚特兰蒂斯亚特兰蒂斯(希腊语:Ἀτλαντὶς νῆσος,英语:Atlantis,法语:Atlantide,意为“阿特拉斯的岛屿”),又译阿特兰蒂(提)斯,意译大西洋岛、大西国、大西洲,传说中拥有高度文明发展的古
- 超大陆超大陆(英语:supercontinent),一般定义为拥有一个以上陆核(continental core)或克拉通的大陆。以下为地质年代中曾出现与可能形成的超大陆,依照时间顺序排列:
- 右旋糖酐右旋糖酐(瑞典语,英语,德语:Dextran)是一种复合且支链的葡聚糖(由许多葡萄糖分子构成的多糖),构成它的链长度不同(从3到2000千道尔顿不等),是牙菌斑的主要成分。在药用方面,它被作为
- 信息解析解析可以指:
- 肘肘是指手臂中部,连接上臂与前臂的铰链关节——肘关节附近的区域。有三块骨头与肘关节相连:上臂的肱骨、前臂的尺骨和桡骨。肘尖的突出物是尺骨鹰嘴,而肘内部的外表构造称为肘前
- 下鼻甲下鼻甲(Inferior nasal concha)有二块,呈卷曲样,形成鼻腔外侧壁的一部分。他们与上鼻甲及中鼻甲担任相同的功能,允许空气进入肺以前的循环及过滤作用。然而下鼻甲是独立的骨骼,