可靠性定理

✍ dations ◷ 2025-06-08 04:18:57 #模型论,数理逻辑,数学定理,精准

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

逻辑论证可靠当且仅当

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

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

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

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

相关

  • 心理学学派异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 演化心理学 实验心理学
  • 民俗音乐民间音乐,又称民俗音乐、民间歌谣,简称民歌、民谣、民乐,于国际民间音乐协会之解释定义为“经过口传过程发展起来的普罗大众音乐”,也就是该音乐散布过程,纯粹是由演奏者或音乐接
  • 奥廖尔州奥廖尔州(俄语:Орло́вская о́бласть,罗马化:Orlovskaya oblast)是俄罗斯联邦主体之一,位于俄罗斯联邦欧洲部分的中俄罗斯高地,属中央联邦管区。面积24,700平方公
  • 小梁网小梁网,trabecular meshwork,位于眼内,位置在前房角,为网状组织。在房水外流中起重要作用。
  • 克伦特罗克伦特罗(Clenbuterol),是一种β2-肾上腺素受体促效剂(β2-adrenergic agonist),类似麻黄素(Ephedrine)作用,临床上经常用来治疗慢性阻塞性肺疾(COPD),亦被作为缓和气喘急性发作时的支气
  • 蛤蟆蕈氨酸蛤蟆蕈氨酸(英语:muscazone)是一种具有毒性的化学物质。该物质可以在欧洲的毒蝇伞发现到。
  • 戴芳澜戴芳澜(1893年5月3日-1973年1月3日),字观亭,湖北江陵人,中国植物病理学家、真菌学家,中国植物病理学与真菌学的主要奠基人,中央研究院院士,中国科学院院士。1910年前后在上海震旦中学
  • 水芹水芹(学名:Oenanthe javanica),通称水芹菜,别称楚葵、蜀芹、唐芹、野芹菜、爪哇水芹(Java waterdropwort)等,伞形目伞形科水芹属的一个物种,原产于亚洲东部。Minari-muchim (seasoned
  • 塔河县塔河县位于黑龙江省北部,是大兴安岭地区下辖的一个县。下辖3个镇、3个乡、9个林场(其中3个林场为镇、场合一单位)、6个贮木场、1个经营所、17个行政村、72个居民委。 塔河镇、
  • 火山矽肺病超微粒硅酸盐尘埃沉着症(英语:Pneumonoultramicroscopicsilicovolcanoconiosis),简称火山矽肺病,是肺尘病的一种。矽肺病越来越多地成为许多行业的关键健康话题,因为其职业原因已