可靠性

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

相关

  • 头孢唑林头孢唑林(英语:Cefazolin,cefazoline 或 cephazolin),是一种用于治疗多种病原细菌的抗细菌药,尤其针对蜂窝组织炎、泌尿道感染、肺炎、心内膜炎、败血性关节炎及胆道发炎(英语:bilia
  • 维他命维生素(英语:Vitamin)是一系列有机化合物的统称,曾依音译,称作“维他命”。它们是生物体所需要的微量营养成分,而一般又无法由生物体自己生产,需要通过饮食等手段获得。维生素不能
  • 贬义贬义或贬义词语是指一个带有嘲弄或其他负面意义的字词或词组,一个词是否带有贬义,有时须视场合与对象而定。居多用于责骂、教训他人。在历史上,有许多原来带有贬义的用词经过了
  • 太平洋西北地区太平洋西北地区(英语:Pacific Northwest)是指美国西北部地区和加拿大的西南部地区,又称“卡斯卡迪亚”(Cascadia;得名自喀斯喀特山脉),主要包括阿拉斯加州东南部、不列颠哥伦比亚省
  • 中部区Middle America,常译作“(美国的)心脏地带”“(美国的)小镇价值”“半个美国”“美国中产阶级”“中间美国”“中美”“中部美国”,是美式英语中的一句俗语,用于描述地理上的美国大
  • 核电站核电站即核能发电厂,或称核电站。是一种以核反应为热力源的热电厂,和其他的热电厂一样,以热能驱动蒸汽涡轮发动机并连接至发电机发电。根据国际原子能机构的报告,截至2014年4月2
  • 世界大洋世界大洋(英语:World Ocean)是个接连全球海洋或海湾、海峡的系统。除了内流河及咸水湖外,它包含了世界上大部分的水域。世界大洋的连结性和统一性所致海中物质的交流对于海洋学
  • 塞黑解体 · 内战塞尔维亚和黑山国家联盟,通称塞尔维亚和黑山,简称塞黑,为前南斯拉夫余下没有独立的塞尔维亚和黑山两个共和国于2003年至2006年组成的松散联邦制国家。塞黑两国于1
  • 城堡城堡是中世纪欧洲和中东地区的一种武装建筑,一般特指作为领主和贵族私人住所的武装建筑,而非作为一个城镇公共防御设施的要塞。由于建筑时期和地点的不同,城堡有很多不同的形式
  • 非凡电视台飞凡传播股份有限公司 (英语:Unique Broadcasting Inc),是台湾的一家有线电视台,由黄崧创立经营,主要制作财经相关节目。黄崧早期以新台币三十五万元起家卖书,之后创立非凡电视,靠着