演绎推理

✍ dations ◷ 2025-12-05 07:08:17 #演绎推理

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

相关

胆汁胆汁（英文Bile）是由大多数脊椎动物的肝细胞分泌出的一种汁液。肝脏持续分泌出胆汁，存放于胆囊内，然后在进食时把胆汁经胆总管释放入小肠帮助消化脂肪。胆汁的主要作用是乳化脂质
口服糖耐量试验糖耐力测试（Oral glucose tolerance test, OGTT）是一种测试血糖在人体内代谢水平的医学实验。具体步骤是，要求被测试对象在空腹情况下喝下75克无水葡萄糖或82.5克含一分子水的
急性间质性肾炎间质性肾炎（Interstitial nephritis）、或肾小管－间质性肾炎（tubulo-interstitial nephritis）是一种影响肾脏肾小管周围间质的肾炎病症。这种病可以是急性的、这意味着它会突然发
呋喃苯胺酸呋塞米（Furosemide），市面常见的商品名为来适泄锭（Lasix），系一种用来治疗因心脏衰竭、肝硬化或肾病变引起的水肿，也可治疗高血压的药。使用剂量依人而定，可以经静脉注射或口服给药，口
中国水资源水资源总量为降水形成的地表和地下产水量，即地表产水量与降水入渗补给地下水量之和。由两部分组成：第一部分为河川径流量，即地表水资源量；第二部分为降水入渗补给的地下水量，即地
洛林洛林（法语：Lorraine；德语：Lothringen）是法国东北部的一个旧大区，北邻比利时、卢森堡及德国。面积23,547km²，人口2,310,376。下辖默尔特-摩泽尔省（54）、默兹省（55）、摩泽尔省（57）、孚日省
希尔德里克一世希尔德里克一世（法语：Childéric Ier，440年－481年6月26日），自457或458年起任萨利昂法兰克人国王。他的名字来自法兰克语hild-“战斗”和-rik“强大”，Childericus是其拉丁文形
高卢高卢（法语：Gaule；拉丁语：Gallia），古罗马人把居住在现今西欧的法国、比利时、意大利北部、荷兰南部、瑞士西部和德国南部莱茵河西岸一带的凯尔特人统称为高卢人。在后来的英语中，“G
东森新闻东森新闻台（台标标示为EBC东森新闻），是东森电视旗下的新闻频道。2018年12月，《镜周刊》报导傅崐萁在担任花莲县长任内共发包25个县府媒体采购案，然而采购案得标者皆为花莲在地媒
偏方民间疗法，大部分是一些没有精密科学依据，但又在民间传说中，号称具有特定成效的治病方式。又称偏方。民间疗法的一个特色是只能问相信不相信，但不能证明真实不真实。民间疗法的内