首页 >
可靠性
✍ dations ◷ 2025-08-28 07:35: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}
。非形式的,演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此,没有你不想推导出的东西可以被推导出来。所以,推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。哥德尔第一不完备定理保证对于有充分表达力的语言,可能没有演绎系统关于经典语义是完备的,在其中所有句子是要么为真要么为假。因此,不是所有可靠的演绎系统都是完备的。而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的,在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。
相关
- 咽喉反流咽喉反流(Laryngopharyngeal reflux,缩写 LPR),又称为喉咽回流、咽喉逆流症、咽喉胃酸逆流、胃食管外反流疾病(extraesophageal reflux disease,缩写 EERD),是指胃酸逆行流到上呼吸
- 淋巴球淋巴细胞(英语:lymphocyte),也称淋巴球,为白细胞中体积最小的一种,直径6—8微米;在人体约占白细胞的20—30%,圆形细胞核,细胞质很少。某些疾病可以影响淋巴细胞数目的增减,如患肺结核
- 食品技术食品技术,是食品生产、运输、保鲜、包装等一系列技术的总称。运用食品技术,可以提高食物产量,增进食物质量和口感,延长其保存时间。
- 生物武器生化武器,旧称细菌武器,是指用来杀伤人员、牲畜和毁坏农作物的致病性微生物及其毒素,依赖生物与生物之间的克制对有生力量发挥杀伤作用。生物武器的施放装置包括炮弹、炸弹、火
- 脱氧糖脱氧糖(英语:Deoxy sugars)是指糖分子中有一个羟基被氢原子所替代的糖。例子包括:果聚糖:菊粉 · 果聚糖β2→6甘露聚糖:低聚木糖:半乳聚糖:
- 黄原胶黄原胶(英语:Xanthan gum,音译作三仙胶),俗称玉米糖胶、汉生胶、山羊胶,是一种糖类(葡萄糖、蔗糖、乳糖),经由野油菜黄单孢菌(英语:Xanthomonas campestris)发酵产生的复合多糖体。在美
- 开普勒约翰内斯·开普勒(德语:Johannes Kepler,德语:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000
- 费米估算在科学中,尤其是在物理和工程教育中,费米问题(Fermi problem)或费米估算是一个用来做量纲分析,估算和清晰地验证一个假设的估算问题。命名自恩里科·费米。这类问题通常涉及对于
- 猿猿是灵长目人猿总科(学名:Hominoidea)动物的通称,包括两个科。虽然人们常把猿猴并称,有时候将猴也称为猿,而猿有时也会称做是猴,不过他们在生物学上是不同的动物。两者的主要区别在
- 伽达默尔汉斯-格奥尔格·伽达默尔(德语:Hans-Georg Gadamer,1900年2月11日-2002年3月13日),著名德国哲学家,诠释学大师,二十世纪最具影响力的哲学家之一。其1960年出版著作《真理与方法》使