演绎推理

✍ dations ◷ 2025-11-24 09:42:36 #演绎推理

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

相关

白细胞白血球，又称为白细胞，是血液中重要的血细胞之一。除白细胞外，人体血液中还含有红细胞、血小板和血浆。白细胞是免疫系统的一部分，帮助身体抵抗传染病以及外来的东西。白细胞可以
地球科学地球科学是指一切研究地球的科学，是行星科学的专门分支。各学科通常会以物理、地理、地质、气象、数学、化学、生物的角度研究地球。它和人类的生活息息相关，人们手上所戴的黄
显微镜下多血管炎显微镜下多血管炎(Microscopic polyangiitis、也称为"微观多动脉炎"(Microscopic polyarteritis)，"微观多动脉炎结节(Microscopic polyarteritis nodosa)，MPA)是一个不明确的
集体治疗团体心理治疗（英文：group psychotherapy)顾名思义，团体（心理）治疗就是一群特定人们与治疗师透过团体的方式达成治疗目标的一种心理治疗。在美国最早有Joseph H. Pratt（英语：Joseph
退伍军人症军团病，又名退伍军人症是由军团菌引发的非典型肺炎。其症状包括咳嗽、呼吸困难、发热、肌肉疼痛、头痛。有时亦会发生恶心、呕吐、腹泻。军团病的症状通常在暴露后两到十天
物理学原子核物理学（简称核物理学，核物理或核子物理）是研究原子核成分和相互作用的物理学领域。它主要有三大领域：研究各类亚原子粒子与它们之间的关系、分类与分析原子核的结构并带动
可裂变物质在核工程中，可裂变物质指的是有能力维持核裂变的链式反应的一种物质。根据定义，可裂变物质可以通过任意能量的中子来维持链式反应，而主要的中子能量可能是慢中子或者快中子。这
圈地在12到19世纪，在以英国为代表的欧洲出现了所谓的圈地运动（英语：Enclosure）。由中世纪到18世纪，整个欧洲的农业体系十分相似。土地所有权集中于国王（King）或取得罗马教廷承认的皇帝（E
虐待性头部创伤虐待性头部创伤（英语：Abusive head trauma，简写AHT），旧称摇晃婴儿综合症（英语：Shaken baby syndrome，简写SBS），是指因婴儿受到暴力地摇晃而对其脑部产生的损害，为一种儿童虐待。在美国，
本体论 (计算机)在计算机科学与信息科学领域，理论上，本体是指一种“形式化的，对于共享概念体系的明确而又详细的说明”。本体提供的是一种共享词表，也就是特定领域之中那些存在着的对象类型或概