演绎推理

✍ dations ◷ 2025-11-14 08:49:56 #演绎推理

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

相关

细菌性肺炎细菌性肺炎是一种细菌感染引起的肺炎类型。肺炎链球菌 (J13 )是在所有年龄组除了新生婴儿最常见的细菌引起的肺炎。肺炎链球菌是一个革兰氏阳性细菌也经常存在于没有肺炎
互联网档案馆网站时光机（英语：Wayback Machine）是万维网或互联网上传播的其他信息的一个数字文件网站，是美国加利福尼亚州旧金山的非营利组织——互联网档案馆最重要的服务之一。网站时光机
PubMedPubMed 是一个免费的搜索引擎，提供生物医学方面的论文搜索以及摘要。它的数据库来源为MEDLINE（英语：MEDLINE）。其核心主题为医学，但亦包括其他与医学相关的领域，像是护理学或者其
五大湖地区五大湖地区（Great Lakes Region）是指由环绕北美洲五大湖的加拿大安大略省和美国的伊利诺伊州、印第安纳州、俄亥俄州、密歇根州、明尼苏达州、纽约州、宾夕法尼亚州和威斯康星
营养体营养体（Trophosome；源自trophē），亦作滋养体，是一种在部分原口动物（例如：须腕科物种）体腔（英语：coelomic cavity）内的深绿棕色海绵组织器官，用来储存内共生细菌，以为其宿主提供完全营养。
过渡金属过渡元素（英语：Transition element）是指元素周期表中d区的一系列金属元素，（英语：Transition metal）。一般来说，这一区域包括3到12一共十个族的元素，但不包括f区的内过渡元素。“过渡
约翰·洛克约翰·洛克（John Locke，1632年8月29日－1704年10月28日）是英国的哲学家。在知识论上，洛克与乔治·贝克莱、大卫·休谟三人被列为英国经验主义的代表人物，但他也在社会契约理论上做
昆虫纲见内文昆虫在分类学上属于昆虫纲（学名：Insecta），是世界上最繁盛的动物，已发现超过100万种。其中单鞘翅目（Coleoptera）中所含的种数就比其它所有动物界中的种数还多。昆字原作䖵。昆
数理逻辑数理逻辑(英:Mathematical logic)是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理
倭黑猩猩倭黑猩猩（学名：Pan paniscus），又名倭猩猩、僰猿、矮黑猩猩或巴诺布猿，是黑猩猩属下的两种动物之一，起先倭黑猩猩被认为和黑猩猩是同种生物，直到1920年代，才有人察觉两者的不同，而将之