演绎推理

✍ dations ◷ 2025-12-10 21:57:29 #演绎推理

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

相关

多发性骨髓瘤多发性骨髓瘤（Multiple myeloma, MM, myeloma, plasma cell myeloma, 或Kahler's disease）是一种浆细胞（一种专责制造抗体的白血球）不正常增生，致使侵犯骨髓的一种恶性肿瘤（癌症）。
费尔蒂综合征费尔蒂综合征（英语：Felty's syndrome，缩写作 FS）是一种罕见的自身免疫性疾病；其特别的三联征包括类风湿性关节炎、脾脏肿大（英语：splenomegaly）和血液的嗜中性白血球太少。它好发于
肾动脉狭窄肾动脉狭窄是指肾动脉或其分支出现狭窄，经常是由于动脉粥样硬化或纤维肌性发育不良引起。肾动脉狭窄导致动脉所供应的相应肾脏出现血流灌注不足，可能引起高血压和肾脏萎缩，如不
核聚变核聚变，又称核融合、融合反应或聚变反应，是指将两个较轻的核结合而形成一个较重的核和一个极轻的核（或粒子）的一种核反应形式。在此过程中，物质没有守恒，因为有一部分正在聚变的原
GABAsubA/subRGABAA受体（又称作γ-氨基丁酸A型受体）是一种离子型受体，而且是一类配体门控型离子通道。此通道的内源性配体是一种被称为GABA的神经递质。GABA是中枢神经系统里的一种主要的递
田纳西河谷管理局田纳西河谷管理局（英语：Tennessee Valley Authority），简称TVA，成立于1933年5月，总部位于美国田纳西州诺克斯维尔，是大萧条时代美国总统富兰克林·德拉诺·罗斯福所推动的新政中专责
莎孚萨福（古希腊文：Σαπφώ；拉丁化：Sappho，约630BC-570BC），古希腊的女同性恋诗人，一生写过不少情诗、婚歌、颂神诗、铭辞等。著有诗集九卷，大部分已散轶，现仅存一首完篇、三首几近完篇
哲罗姆哲罗姆，天主教译圣热罗尼莫或圣叶理诺，也译作圣杰罗姆（约340年－420年；英文：Jerome（以前叫 Saint Hierom）；拉丁文：Eusebius Sophronius Hieronymus；希腊文：Εὐσέβιος Σωφρόν
x字高在西文字体排印学中，x字高，（英语：x-height或corpus size）是指字母的基本高度，精确地说，就是基线（英语：baseline）和主线之间的距离。特别的，它指称一个字体中小写字母x的高度（这也是这个
常用国字标准字体表常用国字标准字体表，简称甲表，是中华民国教育部于1979年出版的常用字和字体标准，内收4808字。次常用国字标准字体表，简称乙表，是中华民国教育部于1982年12月出版的次常用字和字体