首页 >
可靠性
✍ dations ◷ 2025-09-18 03:55:48 #可靠性
可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体:弱可靠性的和强可靠性的。“强”与“弱”的意义在于,强可靠性考虑句子的任意集合,而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统,强可靠性和弱可靠性都成立,但并非全部的演绎系统都如此。逻辑论证可靠当且仅当演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示,这里的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}
。非形式的,演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此,没有你不想推导出的东西可以被推导出来。所以,推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。哥德尔第一不完备定理保证对于有充分表达力的语言,可能没有演绎系统关于经典语义是完备的,在其中所有句子是要么为真要么为假。因此,不是所有可靠的演绎系统都是完备的。而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的,在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。
相关
- 特殊性发育障碍特殊性发育障碍是一类特殊的学习障碍和相关的发育障碍。第十版国际疾病与相关健康问题统计分类(ICD-10) 把特殊性发育障碍分为四类:特殊性语言发育障碍,特殊性学习能力发育障碍,
- 太平洋沿岸地区美国太平洋沿岸地区是一块由美国的人口调查局所正式定义的九块地理区域之一。此区域包括五个州:阿拉斯加州、加利福尼亚州、夏威夷州、俄勒冈州、以及华盛顿州等,而这五州都濒
- SELIBRLIBRIS是LIBRary Information System的缩写,意为图书馆资讯系统,是一个瑞典的全国联合目录,由位于斯德哥尔摩的瑞典皇家图书馆维护。全国大约650万个书目,可供自由搜寻。除了书
- 醋酸铅2.55 g/cm3(三水合物)75 °C(三水合物分解)乙酸铅,又称醋酸铅,是一种白色晶体状化合物,带甜味。将铅黄(一氧化铅)和乙酸反应可以制备乙酸铅。和其他铅化合物一样,乙酸铅也有很大毒性
- 早搏早搏是过早搏动的简称,或称期外收缩。规则的心脏跳动之外出现突然提前的心跳称为过早搏动(早搏),早搏时可无症状,也可有心悸或心跳暂停感。频发早搏使心排血量降低,或会引起脑供血
- 心房心房(拉丁语:Atrium)旧称䆝,是构成心脏腔室的一种。心脏分心房与心室,分别负责接收 左心房则可根据胚胎来源被分为左心耳和左心房窦。和原始静脉窦右角发展而来的腔静脉窦。在右
- 七宗罪七宗罪(拉丁语:septem peccata mortalia;英语:seven deadly sins),天主教称七罪宗,或称七大罪或七原罪,属于天主教教义中对人类恶行的分类。归入这一类别的,能够直接形成其他不道德的
- ACTH/Corticotropin促肾上腺皮质激素(英语:adrenocorticotropic hormone, ACTH)——或简称促皮质素(corticotropin)——是一种多肽激素,生产并分泌于脑垂体,是下丘脑-脑垂体-肾上腺皮质轴(hypothalamic
- 六书陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
- 非形式逻辑非形式逻辑是对自然语言论证的研究,典型特征是不如形式逻辑善于分析。非形式逻辑的焦点在于分析错误的论证来辨别逻辑谬论,和辨别与分类类似的推理策略等活动。用自然语言分析