演绎推理

✍ dations ◷ 2025-11-23 08:17:14 #演绎推理

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

相关

细菌性肺炎细菌性肺炎是一种细菌感染引起的肺炎类型。肺炎链球菌 (J13 )是在所有年龄组除了新生婴儿最常见的细菌引起的肺炎。肺炎链球菌是一个革兰氏阳性细菌也经常存在于没有肺炎
分类药物列表Nervous SystemAntiepilepticsHydantoin derivativesCarboxamide derivativesFatty acid derivativesBarbiturates and derivativesAnalgesicsOpioidsNatural opium alkaloi
蛋白质能量营养失调饿死，在自愿的前提下，被视为是一种自杀的方式。但是在大多数饿死的例子中，是非自愿的情况下，因缺乏食物而活活饿死。据估算，2018年全球超过8.2亿人挨饿，没有充足的食物，高于前一年
肥胖肥胖症（Obesity）是指体脂肪累积过多而对健康造成负面影响的身体状态，可能导致寿命减短及各种健康问题:9。肥胖的标准常使用身体质量指数（BMI）来衡量，即以体重（公斤）除以身高（米）的平方
异疱疹病毒科异疱疹病毒科（学名：Alloherpesviridae）是疱疹病毒目的一个科，本科病毒以两生类或鱼类为宿主，现有4个属共12种病毒。分子种系发生学研究显示本科可分为两大演化支，其中一个类群以鲤
景天庚酮糖景天庚酮糖（英语：Sedoheptulose），即D-阿卓-2-庚酮糖（英语：D-altro-2-heptulo-se），是由七个碳原子构成的酮糖。存在于几乎所有景天科植物中。其衍生物是单糖降解代谢的中间物。果聚糖
vasculitic血管炎（英语：Vasculitis，复数形为vasculitides），一种因身体机能失调，出现发炎而造成血管破坏的症状，包括动脉跟静脉都会被影响。当发生在静脉时，被称为静脉炎（Phlebitis），发生于动脉时，
汞中毒汞中毒（英语：Mercury poisoning ），又称为水银中毒，系指因暴露汞（水银）而导致的一种金属中毒（英语：metal poisoning）。症状依类型、剂量、方法及暴露时间长短而有所不同，可能的症状有肌
粘著语素规范语素（英语：Bound morpheme）又称不自由语素、黏着语素，在语言学中，指不能独立存在，必须附属于其他语素或词根的语素。与此相对的是自由语素。以英语为例，大多数词缀都是规范语
字体排印学字体排印学（英语：typography）又称为文字设计，是通过排版使得文字易认、可读和优美的技艺。排版，即安排活字的方式，包括字体与字号的选取、栏宽与行高的设定以及字距的调整等。在西