首页 >
可靠性
✍ dations ◷ 2025-04-03 10:32:06 #可靠性
可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体:弱可靠性的和强可靠性的。“强”与“弱”的意义在于,强可靠性考虑句子的任意集合,而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统,强可靠性和弱可靠性都成立,但并非全部的演绎系统都如此。逻辑论证可靠当且仅当演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示,这里的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}
。非形式的,演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此,没有你不想推导出的东西可以被推导出来。所以,推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。哥德尔第一不完备定理保证对于有充分表达力的语言,可能没有演绎系统关于经典语义是完备的,在其中所有句子是要么为真要么为假。因此,不是所有可靠的演绎系统都是完备的。而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的,在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。
相关
- 舞蹈病舞蹈症可能指以下其中一项:
- 碘苷碘苷(INN:idoxuridine)是一种主要用于角膜炎的抗疱疹病毒科抗病毒药物。碘苷与脱氧尿苷的结构非常类似,可以在病毒DNA复制的过程中被使用,碘苷当中的碘原子妨碍了碱基对的生成,从
- 脱水脱水(英语:dehydration)是一种化工单元过程,是水合的逆过程。把水分子从物质分子中解脱出来,对于单纯的水合物来说,比较容易,一般只要加热使水脱离蒸发就可以了,如将碳酸钠水合物晶
- 阿德福韦阿德福韦酯(adefovir)是一种核苷类似物抗病毒药物,能在抑制逆转录酶,用于治疗乙肝,但不能用于HIV感染。捷克科学院有机化学与生物化学研究所的Antonín Holý首先合成了阿德福韦
- 抗逆转录病毒药物抗逆转录病毒药(management of HIV/AIDS)是一类于治疗逆转录病毒(例如HIV、冠状病毒等)感染的药物。联合使用几种(通常是三种或四种)抗逆转录病毒药物被称为高效抗逆转录病毒治
- 彭世洛府彭世洛府(泰语:จังหวัดพิษณุโลก,皇家转写:Changwat Phitsanulok,泰语发音:)是泰国的北部之一个府。顺时针向东开始邻近省份是:黎府、碧差汶府、披集府、甘烹碧府、素
- 黑尿症黑尿症(Alkaptonuria,AKU)是一种罕见的遗传性疾病,和酪氨酸和苯丙氨酸的代谢障碍有关,是一种体染色体隐性遗传,具有无法合成尿黑酸氧化酶的缺陷,这种酵素可降解有毒性的尿黑酸,这种
- 双嘧达莫双嘧达莫(Dipyridamole,中华药典名:二吡待摩,商品名潘生丁Persantine),是一种扩张冠状动脉及抗血栓形成的药物。主要用于缺血性心脏病及中风,也少量用于其他疾病的治疗。在心肌灌注
- 颞.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
- 二氧化氯二氧化氯是黄绿色的气体,是氯的最稳定的氧化物,也是唯一大量生产的卤氧化物。二氧化氯在其液态时稳定,但若和一些特定物质接触,也有爆炸的可能。 它在约−59°C 时凝结成亮橙色