可靠性

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

相关

  • 研究中心研究中心,或称研究所、研究院、研究机构,是指以研究或研发为目的之设施、组织或机构。所做的研究通常都会聚焦于一个特定的领域。一个研究中心可能同时具有不同的学科或专业,同
  • 食品工业食品产业是全球不同行业的综合体,这些产业提供了由世界人口消费的食物能量的。只有那些自给自足型农业可以被认为不在现代食品产业之内。食品产业包括:依据2009年2月28日第十
  • 血栓血栓是在血管中形成的血块,于循环系统中会妨碍或阻断血流。当血管受损,血液中的血小板和纤维蛋白会聚集而形成血块修补之,以避免失血或因血流冲击造成血管进一步伤害。若血块脱
  • 农业经济学农业经济学(英语:Agricultural economics),简称农经学,是一门关注农业生产及粮食分配的应用经济学。农经学关注土地利用(英语:land use),着重于最大限度地提高作物产量(英语:crop yield
  • 万国宫万国宫(法语:Palais des Nations;英语:Palace of Nations),位于瑞士日内瓦,建于1929年并于1938年设定为国际联盟总部。虽然瑞士直到2002年才加入联合国,但从1950年代开始,万国宫就作
  • 心指数心指数 (英语:cardiac index,简称CI)是血流动力学(英语:haemodynamic)中涉及参数的以体表面积(BSA)所计算的每分钟左心室心输出量(英语:cardiac output)(CO),从而比较不同个体之间的心泵
  • 视黄醇维生素A(英语:Retinol)又称为视黄醇是维生素A的动物形式之一,它是一个二萜和醇的结构,它可以转换为其他形式的维生素A,并且以醇的衍生物视黄酯充当动物中维生素的储存形式。当转换
  • 中视新闻台中视新闻台(英语:CTV News Channel),全名为中国电视新闻台(官方),是中国电视公司(中视)的无线数字电视频道之一,2004年7月1日开播。2004年6月1日,中视总经理江奉琪任命新闻部经理胡雪珠
  • 舌骨舌骨(hyoid bone)是舌中的骨头。是中轴骨中较独特的部分, 它不与其他任何骨形成关节。而以韧带及肌肉悬挂在颞骨的茎突。舌骨位于颈部, 在下颔骨与喉之间支持舌头, 并当作某
  • 生物安全防护水平生物安全水平(biosafety level (BSL))是指在封闭的实验室环境中隔离危险的病原体所需的一套生物安全防护措施。一般学校里都会有生物实验室,医院的验血实验室也是生物安全实验