演绎推理

✍ dations ◷ 2025-12-08 07:48:04 #演绎推理

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

相关

奇脉奇脉（Pulsus paradoxus），是吸气期间收缩压和脉博异常的大幅度下降。正常情况下，收缩压下降不超过10mmHg。然而，当收缩压下降的程度超过10mmHg，即称为奇脉。奇脉与脉率和心率无关。
抗菌剂抗细菌药（英语：antibacterial）也称为“抗细菌剂”，是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下，抗细菌药也可简称为“抗菌药”，包括抗生素（英语：antibiotic）由微
μ子催化Μ子催化聚变是一种核聚变过程，可以让核聚变的发生温度远低于正常情况，即使在室温下或更低的温度都可以触发核聚变。它是核催化已知聚变反应的几种方法之一。μ子是一种不稳定
蝇蕈素蝇蕈素（英语：muscimol、agarin、pantherine）是出现于大多数鹅膏菌属菇类的精神性生物碱，为γ-氨基丁酸A型受体的促效剂，并且会产生镇静安眠的效果。蝇蕈素是造成毒蝇伞中毒反应的
硝呋莫司硝呋莫司（Nifurtimox）是用于治疗恰加斯病及非洲人类锥虫病的药物。此外，此药也可与依氟鸟氨酸（eflornithine）共同使用在治疗睡眠障碍患者的硝呋莫司-依氟鸟氨酸疗程（英语：nifurtimo
智囊团智库（英语：Think Tank）或称智囊团，另外也有许多智库以“基金会”、“研究所”、“研讨会”、“论坛”、“学会”或“协会”等名称称呼，智库是对政治、商业或军事政策进行调查、分
马克·安德森马克·洛厄尔·安德森（英语：Marc Lowell Andreessen，1971年7月9日－），美国企业家、投资者、软件工程师。他是著名的Mosaic浏览器共同开发者，第一个被广泛使用的浏览器；网景通讯公司的
维生素B12维生素B12（Vitamin B12）为B族维生素之一，是一类含钴的复杂有机化合物。分子结构是以钴离子为中心的咕啉环和5,6-二甲基苯并咪唑为碱基组成的核苷酸。化学式为C63H88O14N14PCo，分
颞.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
语言学家语言学家是指研究语言学并有一定造诣的学者。下列是语言学家的列表（List of linguists），可以参考结构主义的当代语言学家。