演绎推理

✍ dations ◷ 2025-08-20 21:50:24 #演绎推理

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

相关

季节性流感疫苗季节性流感疫苗，常简称流感疫苗，是针对流行性感冒的疫苗。因为流感病毒变化的速度很快，一年会发展新的流感疫苗两次。大部分状况下，疫苗有中度到高度的保护力；然而每年情况略有
蠕虫病蠕虫病，也称为蠕虫感染，是人和其他动物一部分身体被寄生蠕虫感染导致的一种巨噬细胞疾病。这些寄生虫种类很多，大致分为绦虫、吸虫和线虫。它们通常生活在宿主的胃肠道中，但也可
东部马脑炎病毒东部马脑炎病毒（英文：Eastern Equine Encephalitis，简称：EEE）为一种马因病毒而感染的疾病。常见于美洲及加勒比海一带。最早在1831年于美国马萨诸塞州发现。因为病毒较常感染美国
多孢囊霉目见内文多样孢囊霉目（学名：Diversisporales）是球囊菌纲下的一个丛枝菌根菌的目。该目下物种通常在地面土壤以下生长，大部分会带有囊泡或者辅助细胞（英语：Auxiliary cell）来储存能量
滋养体活动体（trophozoite）是原虫类寄生虫（Protozoan parasites）生活史上的一个活跃、有运动性和繁殖的阶段。活动体之后会发展成裂殖体（schizont）阶段，即成为一个母细胞。寄生虫在活动体
氨苯砜达普颂（英语：Dapsone）又称氨苯砜、二胺苯砜或DDS（diaminodiphenyl sulfone），是一种抗生素，常与利福平和氯苯吩嗪（英语：Clofazimine）一起使用并用于治疗痳疯病。达普颂是治疗肺囊虫肺
拉各斯拉各斯（英语：Lagos，英语发音：/ˈleɪɡɒs/ LAY-gos；约鲁巴语：Èkó）为尼日利亚海港及最大城市带，位于国境西南部，也是非洲第一大城市，并为非洲成长速度第二快的城市（居世界第7名）。原名
查尔斯·桑德斯·皮尔士查尔斯·桑德斯·皮尔士（英语：Charles Sanders Santiago Peirce，1839年9月10日－1914年4月19日；中文常译为皮尔斯，实际上读音应该是“purse”，“珀斯”）是美国的通才，实用主义学家。18
白话白话是指普通人容易懂的话，也可指非文言文，有时可指空话。亦可表示以下含义：“白话”一词广泛应用在中国的粤语地区，但在不同地区可能含义有所不同：
互补分布在语言学中，当两个语言成分（辅音、元音、词素等）不能在同一个环境中出现，即处于互补分布。当两个以上的语音成分处于互补分布时，这两种成分一般可以视为同一个音位的条件变体。但