演绎推理

✍ dations ◷ 2025-12-09 08:27:04 #演绎推理

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

相关

麹菌属See List of Aspergillus species麹菌属（Aspergillus）是一个由几百种多细胞霉菌菌种所组成的菌属，在许多气候条件下皆可发现它们的踪影。麹菌属于1729年被皮耶尔·安东尼奥·米
神经性暴食症神经性暴食症（英语：Bulimia nervosa）又译心因性暴食症或者神经性贪食症，一般简称为暴食症，是一种进食障碍，其特征为患者会尝试在暴饮暴食（英语：Binge eating）后试图进行净空行为。暴
沙利度胺沙利度胺（Thalidomide）又名反应停、酞咪脉啶酮、沙利窦迈、赛得（Thado），是研制抗菌药物过程中发现的一种具有中枢抑制作用的药物，曾经作为抗妊娠呕吐反应药物在欧洲和日本广泛使用
听小骨中耳内有三块听小骨（ossicles、auditory ossicles）都是依其形状来命名的：（1）排列方式：锤骨相连在砧骨上，砧骨相连在镫骨上。即镫骨与砧骨相连而砧骨的另一段与锤骨相连。锤骨将力传
CCL1CCL1（英语：Chemokine (C-C motif) ligand 1）是一小分子的细胞因子属于CC趋化因子家族，是由活化的T细胞分泌的糖蛋白。CCL1与细胞表面的趋化因子受体CCR8结合。CCL1对单核细胞，自
氢氧化钡氢氧化钡是一种钡的化合物，分子式为Ba(OH)2，通常外观为白色颗粒状。氢氧化钡在分析化学中的滴定法可以当做弱酸的指示剂，对有机的弱酸别有效。它透明的溶液是不含碳酸盐的。不
DIBP邻苯二甲酸二异丁酯（Diisobutyl phthalate，DIBP）可由异丁醇和邻苯二甲酸酐进行酯化反应来制备。结构式为C6H4(COOCH2CH(CH3)2)2。折射率为1.488－1.492（20 ℃，D）。DIBP是无味增塑剂，
托伦托伦（波兰语：Toruń ；德语：Thorn，托恩）是波兰的一个城市，是1233年由条顿骑士团所建立。属库亚维-波美拉尼亚省。托伦曾是托伦省的省会。托伦的旧市区也是世界文化遗产。托伦在瓜分
银屑病干癣（英语：psoriasis，/soʊˈraɪ.əsᵻs/，学名为银屑病，又称“白疕”或“牛皮癣”）是一种慢性皮肤疾病，主要特色是在身上出现一块一块异常的皮肤。通常，这些块状皮肤异常会发红、发
图皮语系图皮语系是南美洲原住民语言的一个语系。包括在巴西、巴拉圭、玻利维亚、秘鲁和法属圭亚那的合共70多种语言。根据《民族语》的分类，以种类多少计，它是所有语系中的第13大，可分