演绎推理

✍ dations ◷ 2025-11-17 15:12:37 #演绎推理

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

相关

QICD-10 第十七章：先天畸形、变形和染色体异常，为ICD规定的各类先天畸形、变形和染色体异常。Q00-Q07 神经系统先天性畸形Q10-Q18 眼、耳、面和颈部先天性畸形Q20-Q28 循环系统
扁桃腺扁桃腺，又称扁桃体，是人和两栖类以上动物，鼻后孔的顶壁或咽与口腔、鼻腔交界处粘膜下淋巴组织所集成的团块的通称，因为外形像扁桃一样而得名。一般所说的扁桃腺是指肉眼可见的颚
扁桃腺炎扁桃体炎（Tonsillitis），或称扁桃腺炎，通常会快速发病。扁桃体炎属于咽炎的一种。其症状包括咽喉痛、发烧、扁桃腺肿大、吞咽困难、颈部的淋巴结肿大（英语：Lymphadenopathy）。并发症
β详见细菌分类表β-变形菌网（学名：Betaproteobacteria）是变形菌门中的一纲，与γ-变形菌关系最近。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
肝衰竭肝衰竭（Liver failure或Hepatic insufficiency）是一种肝脏未能正常执行其蛋白合成以及代谢功能的情况。肝衰竭分成急性与慢性两种。近来也渐渐的发现有第三种型式慢性肝衰竭
注射注射（英文：Injection）俗称打针，是一种利用注射器与针头穿过皮肤，并将液体送入身体内的方法。是一种给药途径，注射所预期的作用位置，不一定是受注射的位置。目前有多种不同的注射方
嗜中性粒细胞减少症嗜中性白血球低下症（Neutropenia 或 Neutropaenia），亦称中性粒细胞减少症，是血液中的一种中性粒细胞（一种白血球细胞）浓度异常低的血液系统疾病，中性粒细胞弥补大多数的循环白血球，
萨丁岛坐标：40°00′N 09°00′E / 40.000°N 9.000°E / 40.000; 9.000撒丁岛（意大利语：Sardegna，，撒丁语：Sardìgna, Sardìnnia）位于意大利半岛的西南方，是地中海的第二大岛，仅次于西西
Boston新英格兰波士顿（英语：Boston）为美国马萨诸塞联邦（英语：Commonwealth (U.S. state)）首府，占地面积 48平方英里（124 km2），2018年居民总数为694,583位，是马萨诸塞乃至新英格兰地区人口最
亨利三世亨利三世（英语：Henry III；1207年10月1日－1272年11月16日），英格兰国王，由1216年到1272年在位。虽然他的在位时间相当长，但却是英格兰历史上最不出名的国王之一。亨利三世的父亲是英格