演绎推理

✍ dations ◷ 2025-11-07 07:06:23 #演绎推理

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

相关

新生儿呼吸窘迫综合征新生儿呼吸窘迫综合征（英语：Infant respiratory distress syndrome，IRDS、NRDS），前称肺透明膜病（hyaline membrane disease，HMD），是一种常见于早产儿的症候群，导因于肺部界面活性剂发
超抗原超级抗原（SAgs）是一类导致非特异性免疫的蛋白质。超级抗原非特异性地激活T细胞，导致T细胞克隆激活和大量细胞激素的释放。超级抗原被微生物抗原（包括支原体，细菌，病毒等等）作为可以
呼吸作用呼吸作用，又称为细胞呼吸（Cellular respiration），是生物体细胞把有机物氧化分解并转化能量的化学过程，也称为释放作用。无论是否自养，细胞内完成生命活动所需的能量，都是来自呼吸作
国家象征美国国家象征（英语：National Symbols of the United States）指的是那些常常被使用作为美利坚合众国象征的事物。本文中罗列了多种可用作美利坚合众国象征的事物，部分由《美国法
小时小时（拉丁语：hora，常见符号为“h”）是一个时间的计量单位。根据国际单位制，1小时等值于60分钟，也等值于3600秒，约是一个平太阳日的二十四分之一。在协调世界时（UTC）时刻系中，为与世界
酸性气体酸性气体（英语：Acid gas），是天然气或任何其他气体的混合物，其中含有大量的硫化氢（H2S）、二氧化碳（CO2），或类似的污染物。在炼油厂或天然气处理厂，去除硫醇和/或硫化氢的过程通常被称为
誓言誓言或誓词是汉语单词，意思是表达决心、信念的言辞，一般会仪式性地在正式场合宣读（宣誓）。它可以指以下内容：名称中包含誓言的条目，较出名者如：
妊娠线妊娠线在怀孕后三个月时，在腹部会出现的深色垂直线。妊娠线为咖啡色，宽约一公分，一般会沿着腹部中线，从耻骨延伸到肚脐，不过有些也会延伸到肚脐的上方。妊娠线是因为胎盘产生的促
劳资争议劳资争议（英文：Labor dispute、Labor unrest）或称劳务纠纷，泛指劳方与资方双方当事人基于法令、团体协约、劳动契约之规定所为权利义务之衍生的种种争议。
大西洋-刚果语族大西洋-刚果语族是尼日尔-刚果语系当中，使用者最多的一个语族。在《Ethnologue》中尼日尔-刚果语系的1514种语言中，有1418种语言均归大西洋-刚果语族。大西洋-刚果语族有与尼