可靠性定理

✍ dations ◷ 2025-04-03 17:11:59 #模型论,数理逻辑,数学定理,精准

可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体:弱可靠性的和强可靠性的。“强”与“弱”的意义在于,强可靠性考虑句子的任意集合,而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统,强可靠性和弱可靠性都成立,但并非全部的演绎系统都如此。

逻辑论证可靠当且仅当

演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示,这里的S是演绎系统,而L是语言和一起的它的语义理论,而P是L的句子:若 S P {\displaystyle \vdash _{S}P} ,则 L P {\displaystyle \vDash _{L}P}

演绎系统的强可靠性定理声称,演绎系统所基于的语言的任何句子P,可以从这个语言的一个句子集合Γ推导出来,则它也是这个集合Γ的语义推论,在使Γ的所有成员为真的任何模型也使P为真的意义上。用符号表示,这里的Γ是L句子的一个集合:若 Γ S P {\displaystyle \Gamma \vdash _{S}P} ,则 Γ L P {\displaystyle \Gamma \vDash _{L}P}

可靠性定理的逆命题是语义完备性定理。在强形式下,它声称对于一个演绎系统和语义理论,是一个句子集合的语义推论的任何句子可以在这个演绎系统中从这个集合推导出来。(在一阶完备性定理的情况下常叫做哥德尔完备性定理。)用符号表示:若 Γ L P {\displaystyle \Gamma \vDash _{L}P} ,则 Γ S P {\displaystyle \Gamma \vdash _{S}P}

非形式的,演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此,没有你不想推导出的东西可以被推导出来。所以,推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。

哥德尔第一不完备定理保证对于有充分表达力的语言,可能没有演绎系统关于经典语义是完备的,在其中所有句子是要么为真要么为假。因此,不是所有可靠的演绎系统都是完备的。

而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的,在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。

相关

  • 中生动物门中生动物是一种多肉海洋无脊椎寄生动物,现今依然不清楚它们是退化了的扁形动物,还是独立发展出的。一般而言,这些细小、难以理解的生物是由包附在一个或多个生殖细胞上的纤毛种
  • 全身症状人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学症状(英语:symptom)又称病状,医学术语,在疾
  • 肥大细胞瘤急性双表型白血病(Acute biphenotypic leukaemia),是一类病发于淋巴和骨髓的白血病。它是未定型类白血病的一个子类。幼淋巴细胞(幼T淋巴细胞白血病)
  • 肥沃月弯新月沃土或称肥沃月湾(英语:Fertile Crescent),是指西亚、北非地区两河流域及附近一连串肥沃的土地,包括累范特、美索不达米亚和古埃及,位于今日的以色列、西岸、黎巴嫩、约旦部分
  • 刚勇者埃德蒙埃德蒙二世(Edmund II,988年-1016年11月30日),绰号刚勇者(Ironside),是埃塞尔雷德之子,1016年4月23日到11月30日的英格兰国王。刚勇者的绰号,来自他对丹麦克努特大帝的反抗。1012年,丹
  • 荷尔-阿哈荷尔-阿哈(Hor-Aha),目前埃及学学者普遍认为他是古埃及第一王朝的第二位法老。荷尔-阿哈出生于公元前3100年。“荷尔”一名是埃及神话中隼神荷鲁斯的音译,而阿哈则有“战斗”、
  • 马来西亚航空航空公司:餐饮公司:电脑系统:发动机相关:其他:马来西亚航空(马来语:Penerbangan Malaysia;英语:Malaysia Airlines),常见的非正式中文名称为马来西亚国际航空,中文简称马航,是马来西亚的
  • 地舌菌属地舌菌属(学名:Geoglossum)是子囊菌门地舌菌纲的一个属,为地舌菌科的模式属(英语:type genus)。本属物种的子实体多呈棒状、深色,且生长于地上,产孢的子实层从子实体尖端往下端的柄状
  • 许三观卖血记《许三观卖血记》是一部中国小说,作者是余华,故事时代背景为五、六十年代,其时中华人民共和国成立不久。除了中文版本外,本作品被翻译成多国语言,包括韩文、德文、意大利文等。内
  • 2006年5月爪哇地震2006年日惹地震发生在2006年5月27日印尼当地时间5时54分(格林尼治标准时间26日22时54分),震中位于爪哇岛南部日惹市南方的印度洋中,震级为6.3级。大约5百万人居住在离震中50千米