演绎推理

✍ dations ◷ 2025-11-21 19:31:40 #演绎推理

演绎推理（英语：Deductive Reasoning）、正向推理在传统的亚里士多德逻辑中是“结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理”。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。“演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或“结论在确定性上，同前提一样”的推理。任何三角形只可能是锐角三角形、直角三角形和钝角三角形。——大前提这个三角形既不是锐角三角形，也不是钝角三角形。——小前提所以，它是一个直角三角形。——结论更加形式化的说，演绎是陈述的序列，每个陈述都可以从它前面的陈述推导出来。本质上，这导致了如何证明第一个句子的公开问题(因为它不能从任何事物得到)。公理化命题逻辑通过要求证明满足下列条件来解决这个问题:来自 wff 的全体 Σ 的证明 α 是一个 wff 的有限序列:这里的并且对于每个 βi (1 ≤ i ≤ n)，不同版本的公理化命题逻辑都包含一些公理，通常是三个或多于三个，除了一个或更多的推理规则之外。例如弗雷格公理化的命题逻辑，它也是这种尝试的第一个实例，有六个命题公理和两个规则。伯特兰·罗素和阿尔弗雷德·诺思·怀特黑德也提议了有五个公理的一个系统。例如扬·武卡谢维奇(Jan Łukasiewicz，1878年-1956年)版本的公理化命题逻辑有接受如下公理的公理集合 A:并且它有有一个规则的推理规则的集合 R，这个规则就是下面的肯定前件:推理规则允许我们从公理或给定的全体 Σ 的 wff 推导出陈述。在 E.J. Lemmon 提出的我们称为系统 L 的一个版本的自然演绎逻辑中，我们首先没有任何公理。我们只有支配证明的语法的九个基本规则。系统 L 的九个基本规则是:在系统 L 中，证明的定义有下列条件:如果没有前提给出，则相继式叫做定理。所以在系统 L 中定理的定义是:或者换句话说:相继式的证明的一个例子(这里是否定后件):相继式证明的一个例子(这里是一个定理):系统 L 的每行都有自己对输入或进入的类型的要求，它可以接受并且拥有它自己的处理和计算于是它的输入使用的假定的方式。

相关

肌肉萎缩症肌肉萎缩症（肌营养不良症，英语：Muscular dystrophy, MD），指一组损坏人体肌肉的遗传性疾病。肌营养不良症表现为进行性骨骼肌萎缩，肌肉蛋白质缺失，和肌肉细胞或组织的死亡。有九种疾
绿非硫细菌绿弯菌门（Chloroflexi）是一类通过光合作用产生能量的细菌，又称作绿非硫细菌，尽管还有一部分称作热微菌的细菌也属于绿非硫细菌。它们具有绿色的色素，包括作为反应中心的菌绿素a和
医疗温度计医疗温度计，又称体温计、探热针，是拿来量测人体温度用的仪器。可用来量测口腔温度、腋下温度或是肛门内的直肠温度。传统的水银式医疗温度计工作方式与气象用最高温度计相同。
肌炎肌肉发炎（英语：Myositis）指的是肌肉发炎或肿胀。受伤、药物、感染、或自体免疫疾病都有可能导致肌肉发炎。目前已知降脂药物羟甲基戊二酸单酰辅酶A还原酶抑制剂和fibrate（英语：f
淹没的大陆淹没的大陆是指规模庞大，但主要在海面以下的大陆；一些古地质学家和地理学家使用该术语。在这个类中的两个主要的例子是凯尔盖朗高原和西兰大陆。巽他古陆是另一个例子。淹没寻
以撒以撒（希伯来语: יִצְחָק‎；阿拉伯语: إسحٰق；英语：Isaac），又译依撒格或易司哈格，是《旧约圣经·创世记》中的人物，亚伯拉罕的嫡子，原配撒拉所生的独生子，以扫和雅各的父亲
不列颠尼亚不列颠尼亚（英文：Britannia）是罗马帝国对不列颠岛的拉丁语称呼，后据此设立不列颠尼亚行省。这一拉丁语称谓，后又衍生出守护不列颠岛的女神名称。若以读音论，实以“不列塔尼亚”最
逆转录聚合酶链式反应逆转录PCR，或者称逆转录PCR(reverse transcription-PCR, RT-PCR)，是聚合酶链式反应(PCR)的一种广泛应用的变形。在RT-PCR中，一条RNA链被逆转录成为互补DNA，再以此为模板透过PCR
保育生物学保育生物学（英语：conservation biology）又称保护生物学，是一门研究自然及地球上生物多样性的学科，目的是要保护各种生物物种、栖息地和整个生态系统，避免其受到物种过快灭绝及生物
结肠结肠，中国古称回肠，是大多数脊椎动物消化系统的最后一部分，在将固体废物排出体外前吸收水和盐。结肠中未吸收的废物也在微生物（主要是细菌）的帮助下发酵。在食品和营养物质的吸收