可靠性定理

✍ dations ◷ 2025-09-17 21:52:44 #模型论,数理逻辑,数学定理,精准

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

逻辑论证可靠当且仅当

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

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

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

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

相关

  • 标准模型在粒子物理学里,标准模型(英语:Standard Model,SM)是描述强力、弱力及电磁力这三种基本力及组成所有物质基本粒子的理论,属于量子场论的范畴,并与量子力学及狭义相对论相容。到目前
  • 羟胺羟胺——又称羟基胺——可看作NH3中的一个H被OH取代而形成的衍生物,其分子式为NH2OH。室温下为不稳定的白色晶体,容易潮解, 常以水溶液的形式使用。1999年来,两家生产羟胺的工厂
  • 军事技术与装备军事技术与装备,简称军备,罗列了古今各式各样的武器、技术,甚至理论,为军事学中重要的一环。QF 20磅炮
  • 莱茵兰莱茵兰 (德语:Rheinland) 指德国西部莱茵河两岸的土地。但有人认为东岸文化不同,戏称该地是Schäl Sick—较为不好的对岸。莱茵兰本作地理名词,但也蕴含政治与文化意义。它曾是普
  • 异兽亚纲异兽亚纲,(希腊语:Allotheria,意思是其它的野兽,由allos(其它)和therion(野兽)结合的词)。是一类繁盛于中生代的哺乳动物分支。其最重要的特征是下颚上具有两列纵向尖端,为了草食性而特
  • 腓力五世费利佩五世(西班牙语:Felipe V,腓力,全名:费利佩·德·波旁-巴伐利亚,Felipe de Borbón y Bavaria,1683年12月19日-1746年7月9日),18世纪的西班牙帝国国王,1700年至1746年在位,在位46年
  • 中枢神经兴奋剂兴奋剂又称为中枢神经兴奋剂、中枢神经刺激剂(英文名称:stimulant、psycho-stimulant)是一系列精神药物的统称,其中包括可以增加活动力的药物、会令人感到愉快和振奋的药物,以及
  • 阿夫里尔爱德华-亨利·阿夫里尔(Édouard-Henri Avril,1849年5月21日-1928年7月28日)是一个法国画家和商业绘画艺术家。他使用保罗·阿夫里尔(Paul Avril)的笔名绘制了大量的情色文学的插
  • 前印加文化这是爱德华·兰宁(Edward Lanning)开发的秘鲁和安第斯地区文化时代划分的图表,一些研究该地区的考古学家使用了这个划分系统。路易斯·兰布雷斯(Luis Lumbreras)开发了另一个时代
  • 账户用户,又称使用者,是指使用电脑或网络服务的人,通常拥有一个用户账号,并以用户名识别。用户有时也泛指没有充分技术经验的人。终端用户既指软件的最终操作者,也是软件工程内的一个