演绎推理

✍ dations ◷ 2025-12-01 06:35:55 #演绎推理

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

相关

风湿热风湿热（英语：Rheumatic fever）也称为急型风湿热（英语：acute rheumatic fever, ARF），是会侵犯心脏、关节、皮肤和脑部的发炎性疾病。病情最早的描述出现在公元前五世纪希波克拉底的
香料香料是具挥发性，并能用以配制香精的芳香物质的总称。分为天然香料和人造香料，用于制造化妆品、食品等。古人云：“香之为用从上古矣。所以奉神明，可以达蠲洁。”天然香料包括动物
慢性疼痛慢性疼痛（英语：Chronic Pain）指的是持续时间较长的疼痛症状。在医学领域，急性疼痛和慢性疼痛一般是由持续时间划分，最常见的是用“持续3个月”或者“持续6个月”作为两种疼痛的分
制酸剂抑酸剂，又称抗酸剂，抑制胃酸分泌，缓解烧心、反酸的症状，常用的药物有H2受体阻滞剂和质子泵抑制剂PPI（奥美拉唑等）。如氢氧化铝凝胶、三硅酸镁、碳酸氢钠等至今已经出现三代，既第一
风险评估风险评估（英文：Risk Assessment），是风险管理的一个重要过程。风险管理国际标准ISO 31000（英语：ISO 31000）定义风险评估的过程为：风险评估是风险识别、风险分析及风险评价的全过程。
贝克每松贝克每松（Beclometasone dipropionate），是一种类固醇类药物，为一种糖皮质素，常见商品名为Qvar。此药物作为吸入器的药粉、乳霜、药片以及鼻喷剂。吸入器药粉常用于治疗长期的气
甲氧苄啶甲氧苄啶（Trimethoprim，TMP）为一种抗细菌药，主要用于治疗泌尿道感染，其他用途包含治疗中耳炎和旅行者腹泻。本品可与复方新诺明及达普颂一起合用，治疗艾滋病患者的肺囊虫肺炎。甲
三体染色体三倍体症，又名三体综合征，是一种因为遗传基因失调而引起的染色体倍性现象，以致身体细胞分裂时，某一对染色体得到了三条，而不是正常的两条。三体综合征在不同的基因对出现，会
凡士林凡士林（英语：Vaseline）是一种石油胶（英语：petroleum jelly）（石化制胶状物）的通用商标，同时亦为联合利华所生产的个人清洁用品、除臭用品、体香剂、润肤霜与润滑剂品牌。凡士林的最早
亚结构逻辑在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基