可靠性

✍ dations ◷ 2025-09-17 18:44:07 #可靠性
可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体:弱可靠性的和强可靠性的。“强”与“弱”的意义在于,强可靠性考虑句子的任意集合,而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统,强可靠性和弱可靠性都成立,但并非全部的演绎系统都如此。逻辑论证可靠当且仅当演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示,这里的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} 。非形式的,演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此,没有你不想推导出的东西可以被推导出来。所以,推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。哥德尔第一不完备定理保证对于有充分表达力的语言,可能没有演绎系统关于经典语义是完备的,在其中所有句子是要么为真要么为假。因此,不是所有可靠的演绎系统都是完备的。而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的,在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。

相关

  • 潮热潮热(英语:hot flash)多发于女性更年期时,因为体内的雌二醇减少而引起皮肤发红(英语:Flushing (physiology))的一种生理症状。 导致潮热的因素可能不只一种,然而常见的因素是:于更年
  • 咳嗽药止咳药是指治疗咳嗽的药品,通常为片状(亦有含化的)、溶液和混悬液。部分止咳水含有可待因或麻黄碱,过量服用会使人产生欣快感,故被滥用者称为摇头水),泛指用于止咳的所有药水,包括医
  • 汤飞凡汤飞凡(1897年7月23日-1958年9月30日),幼名瑞昭,湖南醴陵人,微生物学家,砂眼衣原体首次分离者。为第一个投身病毒学研究的华人。曾任中华医学会理事、中国国家菌种保藏委员会主任委
  • 二性霉素B两性霉素B(英语:Amphotericin B,商品名:Fungizone),一种具有抑菌或杀菌作用的抗霉菌剂。对新生隐球菌、白色念珠菌、组织胞浆菌、球孢子菌、酿母菌均具抑制作用。其所产生的药效端
  • 心理成熟心理成熟是指心理指随着时间的推移向着圆满生长,有能力以恰当的方式对社会环境做出适当反应。反应通常而言是靠学习而得到的,而非先天本能。成熟也意味着根据情况和社会文化,知
  • 誓言誓言或誓词是汉语单词,意思是表达决心、信念的言辞,一般会仪式性地在正式场合宣读(宣誓)。它可以指以下内容:名称中包含誓言的条目,较出名者如:
  • 希腊化时代的希腊希腊化时代的希腊是指古希腊核心—希腊半岛在希腊化的时期,起始点从前323年亚历山大大帝逝世到前146年被罗马并吞为止,尽管之后被罗马占领,古希腊的文学、艺术、建筑、文化甚至
  • 二元论二元论(dualism)是一个多义词。本体论上的二元论,与一元论对应,二元论认为世界由两种不可缺少且相互独立的元素组成,而一元论认为世界的本原是唯一的。本体论的一元论者认为无论
  • 失血出血是指血液从血管或心脏外出至组织间隙、体腔或身体表面。根据出血原因可分为两种:心脏或血管壁破裂的出血称为破裂性出血;毛细血管和细静脉壁通透性增高的出血称为漏出性出
  • 憩室炎憩室炎(diverticulitis)是大肠肠壁上憩室(英语:Diverticulosis)发炎的消化道疾病(英语:Gastrointestinal disease)。症状多半会是下腹部突然疼痛,不过疼痛也可能持续几天。在北美及欧