演绎推理

✍ dations ◷ 2025-11-18 18:50:48 #演绎推理

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

相关

糖尿病世界糖尿病日代表符号“包圈”（Universal blue circle symbol for diabetes.）糖尿病（拉丁语：diabetes mellitus，缩写为DM，简称diabetes）是一种代谢性疾病，它的特征是患者的血糖长
巴巴拉·麦克林托克芭芭拉·麦克林托克（英语：Barbara McClintock，1902年6月16日－1992年9月2日），美国著名女性细胞遗传学家。1983年获得诺贝尔生理学或医学奖，是首位没有共同得奖者、单独获得该奖项的
二尖瓣二尖瓣（拉丁语：valva bicuspidalis；英语：bicuspid valve），又称僧帽瓣（拉丁语：valva mitralis；英语：mitral valve），或左房室瓣（拉丁语：valva atrioventricularis sinistr；英语：left atriovent
再处理铀再处理铀是指从乏燃料再处理过程中回收的铀，铀在再处理过程中回收的材料中占很大一部分。法国、英国和日本均有回收再处理铀的商业企业。拥有核武器的国家在生产武器级钚时，亦
比约恩·易卜生比约恩·易卜生（丹麦语：Bjørn Aage Ibsen；1915年8月30日－2007年8月7日）是一名丹麦籍医学家。比约恩·易卜生是重症医学的创始人，他首先提出重症监护室的构想并将之付诸实践。比约
马提尼克马提尼克（Martinique）位于中美洲加勒比海，是法国的一个海外大区，首府法兰西堡。下辖一个省，即马提尼克省。高更博物馆（法语：Centre d'Interprétation Paul Gauguin）位于首府。自194
雌三醇雌三醇（Estriol ， oestriol， E3）是人类三种主要的雌激素之一。雌二醇和雌酮的代谢产物。在雌酮、雌二醇、雌三醇中，以雌三醇的活性最弱。存在于尿中，在怀孕期尿中含量更高。未怀孕
拉结拉结（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey Ash
加洛林王朝加洛林王朝（法语：les Carolingiens，旧称Carlovingiens，中世纪拉丁语：Karolingi，又译卡洛林王朝）是自公元751年后统治法兰克王国的王朝。在此之前，其王朝成员以“宫相”的身份涉理王
肺静脉肺静脉（英语：pulmonary vein），是把血从肺部输送回心脏的静脉，是唯一流有充氧血的静脉。心脏左右各一对，共四条，两条连接左肺，另两条连接右肺。将在肺中充分进行氧气和二氧化碳交换后