可靠性定理

✍ dations ◷ 2025-04-03 10:43: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}

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

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

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

相关

  • 胆道胆管为胆汁由肝脏传送至十二指肠的一个管道。肝内的胆小管逐级合并成左、右肝管,出肝门再合成为肝总管;肝总管与胆囊管汇合成胆总管。肝细胞持续不断的制造胆汁浓缩并储存于胆
  • 贺尔蒙激素(英语:hormone)也音译作荷尔蒙或贺尔蒙,在希腊文原意为“兴奋活动”。激素是指体内的某一细胞、腺体或者器官所产生的可以影响机体内其他细胞活动的化学物质。仅需很小剂量
  • 角质层角质层(stratum corneum)是表皮最外层的部分,主要由15至20层没有细胞核的死亡细胞组成。当这些细胞脱落时,底下面位于基底层(英语:Stratum basale)的细胞会被推上来,形成新的角质层
  • 摩拉维亚摩拉维亚(捷克语:Morava;德语:Mähren;英语:Moravia),为捷克东部一地区,得名于起源该地区的摩拉瓦河。位于南部维也纳盆地深处的沉积层正被钻探,以寻找石油与褐煤,而俄斯特拉发附近的煤
  • 阿尔比十字军十字军 教皇国卡特里派 图卢兹公国(英语:County of Toulouse)英诺森三世 何诺三世 格列高利九世 西蒙·德·蒙特福特(英语:Simon de Montfort, 5th Earl of Leicester) †
  • 加里·基莫维奇·卡斯帕罗夫加里·基莫维奇·卡斯帕罗夫(俄语:Гарри Кимович Каспаров、英文:Garry Kimovich Kasparov ,1963年4月13日-),俄罗斯国际象棋棋手,国际象棋特级大师,前国际象棋
  • 中性pH,亦称pH值、氢离子浓度指数、酸碱值、(音ㄌㄧㄥˊ)标值,是溶液中氢离子活度的一种标度,也就是通常意义上溶液酸碱程度的衡量标准。这个概念是1909年由丹麦生物化学家瑟伦·索伦
  • 珀耳修斯珀耳修斯(希腊语:Περσεύς;拉丁文:Perseus),是希腊神话中宙斯和达那厄的儿子。阿耳戈斯国王阿克里西俄斯(英语:Acrisius)请神喻,预言说他将死于他自己的女儿达那厄的儿子之手。
  • 猫雾捒族巴布萨族(巴布萨语:Babuza)又称猫雾捒族或猫捒族,为台湾平埔族原住民,即荷兰人所称的虎尾垄(Favorlang),主要分布在大肚溪以南至浊水溪之间的海岸区域,包括彰化平原地带。还存有属于
  • 耶稣圣心主教座堂开封耶稣圣心主教座堂,又名理事厅天主教堂,是天主教开封总教区的主教座堂,也是河南省最大的天主教堂。1608年,耶稣会神父将天主教传入开封,同时来此寻找理事厅街的犹太人社区。16