命题公式

✍ 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),这些模式对