可靠性定理

✍ dations ◷ 2025-06-28 18:21:35 #模型论,数理逻辑,数学定理,精准

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

逻辑论证可靠当且仅当

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

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

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

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

相关

  • 致癌物质致癌物质(英语:Carcinogen)是指任何会直接导致生物体产生癌症的物质,包括化学物质、病毒、放射性核素等。这些物质进入机体后会直接或间接使机体细胞受到损害,导致生物大分子异常
  • 牻牛儿基牻牛儿基焦磷酸香叶基香叶基焦磷酸(Geranylgeranyl pyrophosphate,简称GGPP),又名牻牛儿基牻牛儿基焦磷酸,是生物体在透过HMG-CoA还原酶途径来生产萜烯类化合物(terpenes)和类萜化合物(terpenoids)
  • Psub4/subSsub3/sub三硫化四磷,化学式为P4S3,外观为黄色固体,是两种工业上生产五氧化二磷的两种方法之一。随着纯净程度的不同,样品可呈现出由黄绿色至灰色不同颜色。三硫化四磷由莱莫因(G. Lemoine
  • 生机论生命力论(英语:Vitalism,又译为生命主义、生气论、生机论、生机说、生命力)在人类历史上存在长久的历史,现代版本是19世纪初由瑞典化学家贝采利乌斯提出。一般认为“生命力”学说
  • 荷兰教育荷兰教育是分级、分年龄的,并依据学生的需求进行个人化调整。在荷兰,学校被分为一般公立学校、宗教学校、中立学校等,私立学校较少。在荷兰,学生的成绩被分为10等,从1(极差)到10(
  • S-1执行委员会S-1执行委员会(英语:S-1 Executive Committee)是美国国防部科研委员会(NDRC)下属的一个委员会,其前身为“铀顾问团”(Advisory Committee on Uranium),后成为科学研究与开发办公室(OSR
  • 潜伏期 (性心理发展)潜伏期是西格蒙德·弗洛伊德在性心理发展模型中列出的五个阶段之一,该阶段处于口腔期(第一阶段)、肛门期(第二阶段)、性器期(英语:Phallic stage)(第三阶段)之后,而处于生殖期(英语:Genit
  • 第二次刚果战争第二次刚果战争,是主要发生在刚果民主共和国境内的一场战争。在第一次刚果战争中被卢旺达扶植上台的卡比拉对迟迟不肯撤离的卢旺达驻军渐生猜忌,在试图强制其撤出后,卢旺达势力
  • 海霸王海霸王餐厅股份有限公司(简称:海霸王集团、海霸王)是1975年台湾高雄起家的餐厅,今已发展成涵盖餐旅与物流的海霸王国际企业王国。
  • 赵 彪赵彪(1962年1月-),吉林白城人,汉族,中华人民共和国政治人物,长影集团有限责任公司董事长、党委书记,第十三届全国人民代表大会吉林地区代表。2018年,被选为全国人大代表。