可靠性定理

✍ dations ◷ 2025-08-22 07:43:19 #模型论,数理逻辑,数学定理,精准

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

逻辑论证可靠当且仅当

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

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

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

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

相关

  • 休克休克(Shock)为一急性的综合症。其顾名思义,为临床上常面临到的一种急性病症,一般人普遍认为休克专指低血压的状况,然而,以定义而言,休克其实为指身体的血液循环不够,造成组织氧气
  • 伤寒玛莉玛丽·马伦(英语:Mary Mallon,1869年9月23日-1938年11月11日),爱尔兰人,1883年独自移民至美国,是美国第一位被发现的伤寒健康带原者,因此被称为伤寒玛丽(Typhoid Mary)。玛丽是一个厨师
  • 小核仁RNA小核仁RNA(Small nucleolar RNAs;snoRNAs)是一类小型RNA分子,可引导核糖体RNA(rRNA)或其他RNA的化学修饰(如甲基化)作用。根据MeSH的分类,此分子属于小核RNA(snRNA)的一种。可分为C/D b
  • 贝克县贝克县(Baker County, Georgia)是美国乔治亚州西南部的一个县。面积904平方公里。根据美国2000年人口普查,共有人口4,074人。县治牛顿(Newton)。成立于1825年12月12日。县名纪念
  • 实像实像(英语:real image)是物体发出的光线经光学系统折射或反射后,重新会聚而形成的与原物相似而倒立的像。简言之,‘实像就像真实物体,可以直接看到。’ 实像就有如在成像处的真实
  • 宝带桥宝带桥位于中国江苏省苏州市吴中区葑门外约3公里处、京杭大运河旁边,跨澹台湖口玳玳河,为历代纤道所经。桥是联拱53孔石桥;全长316米,宽4米。始建于唐元和十一年至十四年(816年-8
  • 树叶叶是高等植物的营养器官,侧边发育自植物的茎的叶原基。叶内含有叶绿体,是植物进行光合作用的主要场所。同时,植物的蒸散作用是通过叶的气孔实现的。叶只出现在真正的茎上,即只有
  • 菲律宾天主教菲律宾和东帝汶是亚洲仅有的两个天主教国家,也是世界第三大天主教国家(前两名分别是巴西和墨西哥)。天主教徒占菲律宾人口的83%,占有绝对优势,从西班牙传入五百年来,天主教一直对
  • 渌口区渌口区是湖南省株洲市的一个市辖区,位于湖南省中部偏东,湘江中游,地形东西窄,南北长。区境北连株洲市天元区、芦淞区和浏阳市,西接湘潭市市区和湘潭县,东邻醴陵市,南界攸县和衡东县
  • 2019冠状病毒病库拉索疫情2019冠状病毒病库拉索疫情,介绍在2019新型冠状病毒疫情中,在库拉索发生的情况。2020年3月13日,库拉索宣布确诊首例新冠肺炎病例,69岁,荷兰北布拉班特省人。3月18日,首例确诊病例死