首页 >
可靠性
✍ dations ◷ 2025-04-03 17:00:44 #可靠性
可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体:弱可靠性的和强可靠性的。“强”与“弱”的意义在于,强可靠性考虑句子的任意集合,而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统,强可靠性和弱可靠性都成立,但并非全部的演绎系统都如此。逻辑论证可靠当且仅当演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示,这里的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}
。非形式的,演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此,没有你不想推导出的东西可以被推导出来。所以,推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。哥德尔第一不完备定理保证对于有充分表达力的语言,可能没有演绎系统关于经典语义是完备的,在其中所有句子是要么为真要么为假。因此,不是所有可靠的演绎系统都是完备的。而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的,在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。
相关
- 阑尾炎阑尾炎,是指由阑尾发炎而引起的急性消化系统疾病。阑尾,是大肠起始段的管状器官。由于其生长位置关系,容易因受到感染、腔隙阻塞等而发炎。一般常说的盲肠炎其实就是指阑尾炎(Ap
- 短暂性脑缺血发作短暂性脑缺血发作 (英文:transient ischemic attack (TIA), 俗称 "小中风") 是由于大脑特定部位的血液供应暂时受到阻碍,致使产生了神经系统的功能障碍。一般持续时间少于24小
- 阿米卡星阿米卡星(amikacin、amikin (amikacin))是一种氨基糖苷类抗生素,用于治疗多种细菌感染。阿米卡星依靠于细菌30S亚基结合,阻断细菌蛋白质合成而起到抗菌作用。阿米卡星一天可以给
- 更昔洛韦更昔洛韦(Ganciclovir)是一种抗病毒药物,常用于治疗细胞巨大型病毒(cytomegalovirus)感染。1980年由Syntex Research的Julien Verheyden和John Martin合成。他的前药万乃洛韦(valg
- 尘螨尘螨(学名:Dermatophagoides spp.)是一种8只脚的微小的蛛形纲节肢动物,长170-500微米,宽250-322微米,雌雄个体均为乳白色,肉眼是几乎看不到的,最喜欢生长在温暖潮湿的环境中,适合生长的
- 南苏丹面积以下资讯是以2019年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计立
- 哥特式教堂哥特式建筑(法语:Architecture gothique, 英语:Gothic architecture),或译作歌德式建筑,是一种兴盛于欧洲中世纪高峰与末期的建筑风格。它是由罗马式建筑发展而来,为文艺复兴建筑所
- 乌克兰乌克兰维尔纳茨基国家图书馆(乌克兰语:Національна бібліотека України імені В. І. Вернадського)是乌克兰规模最大的图书馆
- 词类词类(part of speech、PoS、POS)是一个语言学术语,是一种语言中词的语法分类,是以语法特征(包括句法功能和形态变化)为主要依据、兼顾词汇意义对词进行划分的结果。从组合和聚合关
- 前缀在语言学里,前缀(英语:Prefix)又称字首或词头,属于一种前置于其他词素的词缀,由于其无法以单字的方式独立存在,故亦为一种附着词素;此外在欧洲语言里,前缀也几乎都属于衍生语素(屈折变