首页 >
可靠性
✍ dations ◷ 2025-08-05 20:27:56 #可靠性
可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体:弱可靠性的和强可靠性的。“强”与“弱”的意义在于,强可靠性考虑句子的任意集合,而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统,强可靠性和弱可靠性都成立,但并非全部的演绎系统都如此。逻辑论证可靠当且仅当演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示,这里的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}
。非形式的,演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此,没有你不想推导出的东西可以被推导出来。所以,推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。哥德尔第一不完备定理保证对于有充分表达力的语言,可能没有演绎系统关于经典语义是完备的,在其中所有句子是要么为真要么为假。因此,不是所有可靠的演绎系统都是完备的。而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的,在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。
相关
- 核形虫核形虫是一类原生生物,具有丝状伪足,生活在土壤和淡水里。它们与同样具有丝状伪足的vampyrellid形态上非常相似,但可以通过线粒体的盘状嵴来鉴别。核形虫与动物、真菌以及其它
- 细胞分裂细胞分裂(英语:cell division)是生物体生长和繁殖的基础,通常由一个母细胞产生两个或若干子细胞,是细胞周期的一部分。产生两个不同子细胞的分裂被称为不对称细胞分裂,也称为异裂
- 迪乔治综合征迪乔治综合征(DiGeorge syndrome;22q11.2缺失综合征/22q11.2 deletion syndrome)是一种遗传疾病,会导致鼻及鼻梁基部宽大、人中短、上唇薄、耳廓异常、颚裂、心脏容易出现多重异
- 生活品质马斯洛的需求金字塔上达到越高层的人可以视同生活质量越高自我实现的需求尊重需求(社会承认需求)社交需求(社会关系需求)安全的需求生理的需求(身体基本需求)生活质量(Quality of L
- 以色列政治面积以下资讯是以2013年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2011年估计国内生产总值(国际汇率) 以下资讯是以2011年估计人类发展指数 以下资讯是以2014年估计立
- 米切尔·贝克温妮费德·米切尔·贝克(英语:Winifred Mitchell Baker,1957年-)。现任Mozilla基金会和Mozilla公司运行董事长。贝克曾担任网景公司的律师工作。2005年,被时代杂志评选为全球最具
- 子午流注子午流注(midnight-noon and ebb-flow doctrine),意即根据中医学说,一日的十二个时辰,和人体的十二条主要经络互相对应,如下表所列。中医认为,在每一个时辰内,其所对应之经络上之血
- 氰化钠氰化钠,俗称山奈、山埃、山奈钠,是氰化物的一种,为白色结晶粉末或大块固体,毒性极强,化学式为NaCN。易吸湿而带有苦杏仁味,能否嗅出与个人的基因有关。氰化钠容易水解生成氰化氢,水
- 甲状舌骨外侧韧带甲状舌骨外侧韧带(lateral thyrohyoid ligament、lateral hyothyroid ligament)是一种圆形弹性韧带,形成甲状舌骨膜的后缘,并通过甲状软骨的上角尖端及舌骨的大角的末端。喉上神
- 蒙眼貂蒙眼貂(学名:Mustela putorius furo),又名雪貂、地中海雪貂,是欧洲鼬的驯养亚种。它们是两性异形体(英语:Sexual dimorphism)的,雄貂比雌貂大。它们一般呈褐色、黑色、白色或混色,公貂