可靠性定理

✍ dations ◷ 2025-08-02 02:38:59 #模型论,数理逻辑,数学定理,精准

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

逻辑论证可靠当且仅当

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

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

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

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

相关

  • 线性在现代学术界中,线性关系一词存在2种不同的含义。其一,若某数学函数或数量关系的函数图形呈现为一条直线或线段,那么这种关系就是一种线性的关系。其二,在代数学和数学分析学中,
  • 桔子汁橙汁(英文:Orange juice,在北美洲有时简称OJ),是从橙的果肉榨出的果汁。其酸酸甜甜的味道,十分可口。有些橙汁含有果肉颗粒,又是另一种风味。在许多国家,橙汁通常是最常见的饮料之一
  • 好撒马利亚人仁慈的撒马利亚人的比喻(英语:Parable of the Good Samaritan)是基督教文化中一个很著名的成语和口头语,意为:好心人、见义勇为者。它来源于《路加福音》第10章第25-37节中耶稣讲
  • 开氏度开尔文(英语:Kelvin)是温度的计量单位。它是国际单位制(SI)的七个基本单位之一,符号为K。以开尔文计量的温度标准称为热力学温标,其零点为绝对零度。在热力学的经典表述中,绝对零度
  • 唱歌歌唱,或唱歌,是指人类透过发声器官产生音乐的过程。进行歌唱的人、或是以歌唱为职业的人称为歌手。歌唱可以作为在正式场合的一种表演艺术、可以是有宗教、教育、营利等目的、
  • 上虞区上虞区,浙江省绍兴市市辖区,位于浙江省东部、绍兴市东北部,钱塘江南岸。东邻宁波市余姚市,南接嵊州市,西连越城区、柯桥区,北与嘉兴市海宁市、海盐县隔江相望。陆域面积1401.68平
  • 飞碟电台台湾北部: 飞碟电台(涵盖大台北盆地区及桃园部分区域) 台湾中部: 中港溪广播电台 (涵盖新竹县、新竹市、苗栗县、连江县) 真善美电台 涵盖台中市、彰化县、南投县部分地区) 民生
  • 唯英语运动唯英语运动(英语:English-only movement)又名英语官方化运动(英语:Official English movement)、独尊英语运动,是指美国政府以官方操作通过英语作为唯一官方语言的政治运动。1847年
  • ATC代码 (G)ATC代码G(泌尿生殖系统及性激素药品)是解剖学治疗学及化学分类系统的一个分类,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborating Centre for Drug Statistics Met
  • 医学主题词医学主题词(Medical Subject Headings,MeSH,或译医学主题词表)是一部庞大的受控词表(或者说,元数据系统),是广泛应用于医学信息检索的一种工具。在生命科学领域旨在用于标引(英语:Subj