可靠性定理

✍ dations ◷ 2025-09-12 18:24:08 #模型论,数理逻辑,数学定理,精准

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

逻辑论证可靠当且仅当

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

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

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

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

相关

  • 4f9 6s22, 8, 18, 27, 8, 2蒸气压第一:565.8 kJ·mol−1 第二:1110 kJ·mol−1 第三:2114 kJ·mol主条目:铽的同位素铽(Terbium)符号Tb,为镧系元素,原子序65,是银白色的稀土金属,
  • 理查·欧文理查·欧文爵士,KCB,FRS,FMRS(英语:Sir Richard Owen,1804年7月20日-1892年12月18日),英国生物学家、比较解剖学家与古生物学家,皇家学会成员,曾经对许多脊椎动物进行分类与命名。理查
  • 生命游戏康威生命游戏(英语:Conway's Game of Life),又称康威生命棋,是英国数学家约翰·何顿·康威在1970年发明的细胞自动机。它最初于1970年10月在《科学美国人》杂志上马丁·葛登能的
  • 巴黎地下墓穴巴黎地下墓穴(法语:Catacombes de Paris)是法国巴黎一处著名的藏骨堂,位于今天巴黎十四区的丹费尔-罗什洛广场。原为地下石灰石采石场。1786年,巴黎爆发瘟疫,为了解决墓地不足和公
  • 福田敏男福田敏男(1948年12月12日-),日本机器人专家,主要从事微纳操作机器人与仿生机器人的研究,被誉为“微纳机器人之父”。福田敏男出生于日本富山县,于1971年毕业于早稻田大学机械工程专
  • 崇陵崇陵,可以指:
  • 口索动物亚门半索动物门(学名:Hemichordata)是由一类像虫一般,生存于海底的后口动物所组成的门,通常被认为是棘皮动物的旁系群,可追溯至寒武纪早期或晚期,且包括一类已在石炭纪时灭绝的重要化石
  • 怡万之厄他培南(英语:Ertapenem)是一种碳青霉烯类抗生素,由默沙东以怡万之为商品名销售。结构上,厄他培南与美罗培南非常相似,前者有一个1-β-甲基。羧基青霉素:羧苄西林(卡茚西林) · 替
  • Gorong群岛戈龙群岛(印尼语:Kepulauan Gorong/Gorom)位于瓦图贝拉群岛和斯兰岛之间的一个群岛,地理上属马鲁古群岛。行政区划隶属马鲁古省东斯兰县。于1365年用古爪哇语(英语:Old Javanese)为
  • 布拉克山黑山(Black Hills)是位于美国南达科他州和怀俄明州交界处的一个山区。最高点黑麋鹿峰高2208米。黑山曾是美国原住民的聚居地,也是原住民心中的圣山。然而在19世纪后期,由于谣传