可靠性定理

✍ dations ◷ 2025-04-26 11:06:33 #模型论,数理逻辑,数学定理,精准

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

逻辑论证可靠当且仅当

演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示,这里的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}

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

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

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

相关

  • 耳(耳朵)是动物接收并感知声波,识别方位维持身体平衡的器官,为动物提供听觉。耳可以是整个听觉系统的统称,亦可以仅指露出在身体外的部分(外耳)。在大部分的哺乳类动物中,外露在身体
  • 纳粹占领荷兰德军决定性胜利2,332人死亡7,000人受伤荷兰战役(荷兰语:Slag om Nederland)是黄色方案(德语:Fall Gelb)的一部分,德军在1940年5月10日采取入侵低地三国和法国的军事行动。荷兰的主
  • 臭虫床虱,俗称臭虫,是一种很小及难以捕捉的寄生昆虫,属于臭虫科(Cris),是半翅目异翅亚目臭虫下目臭虫总科的生物种类。臭虫有一对臭脚,能分泌一种异常臭液,此种臭液有防御天敌和促进交配
  • 1-十一烷醇1-十一烷醇是一种脂肪醇,为无色且不溶于水的液体,熔点是19°C,沸点是243 °C。1-十一烷醇有类似柑橘的香味,味道也类近脂肪,因此被用作食物的香味剂。它常以一种类近的醛 -1-十一
  • 第45届日本众议院议员总选举■ - 民主党 ■ - 自由民主党 ■ – 公明党 ■ – 日本共产党 ■ - 国民新党 ■ - 社会民主党 ■ - 众人之党麻生太郎 自由民主党鸠山由纪夫 民主党第45届日本众议院议员总
  • 贾克·大地贾克·大地(Jacques Tati,原名为Jacques Tatischeff)是一位法国电影导演与演员,代表作为《我的舅舅》、《于洛先生的假期》和《游戏时间》。一生仅拍了六部长片与三部短片。在学
  • 陶渊明陶渊明(365年-427年),名潜,字元亮,自号五柳先生,私谥靖节先生。在唐代文献中,因避唐高祖李渊的讳,被称作陶泉明或陶深明。浔阳郡柴桑县(今江西省庐山市)人。东晋、刘宋的文学家,东晋大司
  • 魏建功魏建功(1901年11月7日-1980年2月18日),字益三,号天行,江苏海安人,中国语言、文字学家,中国科学院哲学社会科学学部学部委员(院士),九三学社社员。北京大学中文系毕业(1925年),在校师承钱玄
  • 美国第一骑兵师第七骑兵团美国第1骑兵师第7骑兵团(U.S. 7th Cavalry Regiment),是美国陆军骑兵团,建军于1866年7月28日,同年9月21日编制,官方的绰号是“Garry Owen”,这是一首爱尔兰的哼酒歌,后来被引为行军
  • 洞天洞天,中国道教传说中的仙境,位于山岳之内,有洞穴与山外相通,当中有日月照明、草木鸟兽、仙人城市,景象与世间相似,各有地道相连。道士修道精诚,或可进入洞天,得以登仙度世,亦偶有凡人