演绎推理

✍ dations ◷ 2025-11-25 16:33:43 #演绎推理

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

相关

非细胞生物非细胞生物（Non-cellular life）是没有细胞结构存在的生命。这个词的一般指的是系统进化中科学的分类的病毒这一类生命形式。那些假设的人工生命，自我复制机器，最简单的能够自我
系统发生树系统发生树（英语：phylogenetic tree）又称演化树或进化树（evolutionary tree），是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法（cladogram）。在图中，每
脑膜炎脑膜炎（英语：meningitis）指发生于脑膜的急性炎症，脑膜是包裹大脑和脊髓的保护薄膜。脑膜炎最常见的症状是发热、头痛和颈部僵硬。其他症状还包含精神错乱（英语：mental confusion）或
波粒二象性在量子力学里，微观粒子有时会显示出波动性（这时粒子性较不显著），有时又会显示出粒子性（这时波动性较不显著），在不同条件下分别表现出波动或粒子的性质。这种称为波粒二象性（wave-par
食用食用蕈，或称食用菌或食用菇、食菇，是可以食用的大型真菌子实体（不包括酵母菌、青霉菌等微生物）。决定真菌是否可以食用的因素包括毒性、味道、硬度、和气味。有些有毒的蕈类经过
恋物癖恋物（Sexual fetishism / Erotic fetishism）是指对无生命物体或性器官以外的身体部位的性固着。在医学上，单纯的恋物并非病态，但若构成了当事人极大的痛苦或对其生活的某些层面
人均国民生产总值国民生产总值（英语：Gross National Product，缩写：GNP），台湾亦称国民生产毛额，在描述地区性生产时称本地居民生产总值或地区居民生产总值，即某一区域公民一年内所生产的最终产品（包括
比热容比热容（英语：specific heat capacity，符号c），简称比热，亦称比热容量，是热力学中常用的一个物理量，表示物体吸热或散热能力，比热容越大，物体的吸热或散热能力越强。它指单位质量的某种
反宗教主义反宗教指反对宗教的教义乃至其存在合理性的思想或行为。反宗教者也可能是无神论者或反神论者，因此反宗教不等同于无神论、不可知论或者反神论。这个词可以用来形容反对现有的
通古斯语族满-通古斯语族（又称通古斯语系或通古斯－满语族）是世界主要语系之一，其下又分满语支和通古斯语支。通古斯语支的语言有长元音，满语支的语言复元音多；辅音的组合一般不超过两个音素，