首页 >
命题公式
✍ dations ◷ 2025-06-27 13:49:04 #命题公式
在数理逻辑中,公式是表达命题的形式语法对象,除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(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页}
相关
- 弧菌螺旋菌(英语:Spiral bacteria)系按形态分出的一种细菌种类。其种类次于球菌、杆菌,在细菌家族中位列第三。。螺旋超过一周的螺旋菌被称为螺旋菌,而不满一周的则被称为弧菌。另外,
- DNA测序DNA测序(DNA sequencing,或译DNA定序)是指分析特定DNA片段的碱基序列,也就是腺嘌呤(A)、胸腺嘧啶(T)、胞嘧啶(C)与鸟嘌呤(G)的排列方式。快速的DNA测序方法的出现极大地推动了生物学和医
- 化学处理化制处理是是将动物尸体或废弃屠体、内脏、皮、骨或蹄等经由加工处理,分解成油脂及蛋白质等可再利用之资源。在动物传染病防治条例细则定义以动物尸体、废弃屠体及其内脏、皮
- 氢离子泵抑制剂质子泵抑制剂(英语:Proton-pump inhibitor、缩写为PPI)或称氢离子帮浦阻断剂,是一种抑制氢离子泵的药物,这种药物对于减少胃酸分泌的作用是显著也长效的,可以说是现今减少胃酸分泌
- 杀菌剂杀菌或杀菌剂可能是指:
- 室上性心搏过速室上性心搏过速(Supraventricular tachycardia),简称SVT,是因为心脏电传导系统异常造成的心跳过速。主要可分四型:心房颤动、阵发性室上性心搏过速(PVST)、心房扑动、沃夫巴金森怀
- 安大略湖安大略湖(Lake Ontario)北邻加拿大安大略省,南毗尼亚加拉半岛和美国纽约州,是北美洲五大湖之一。安大略来自易洛魁语Skanadario,意思是“美丽之湖”或“闪光之湖”。加拿大的安大
- AOL美国在线(AOL Inc.,前身为:America Online,AOL),著名的互联网服务提供者,现为电信商威讯旗下Verizon Media公司的子公司。今天的美国在线,源自20世纪80年代的一家计算机服务公司Cont
- 日尔曼语族日耳曼语族是印欧语系的一支,是居住在北部欧洲日耳曼民族的语族。这一族语言有鲜明的特征,最著名的有关于辅音演变的格里姆定律。一些早期(约公元2世纪)的日耳曼语言发展出自己
- 主题分析主题分析(英语:Thematic analysis)是定性研究中最为常见的一种形式。它强调在数据中精确定位、检查和记录主题或模式。主题(英语:themes)是跨数据集的模式(英语:patterns),这些模式对