演绎推理

✍ dations ◷ 2025-10-24 07:51:56 #演绎推理

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

相关

电子显微镜电子显微镜（英语：electron microscope，简称电镜或电显）是使用电子来展示物件的内部或表面的显微镜。高速的电子的波长比可见光的波长短（波粒二象性），而显微镜的分辨率受其使用的波
深静脉血栓深静脉血栓是在深静脉形成的血栓，常形成于下肢或骨盆部位深处的静脉。有时也形成于上肢的静脉（这被称为Paget-Schrötter综合症（英语：Paget–Schroetter disease））。近期接受外科
肱骨肱骨（humerus）是肩到肘的长骨，是上臂的一部分。它将肩胛骨和前臂的桡骨和尺骨连接起来。肱骨由三部分组成。肱骨上端（英语：Upper extremity of humerus）包括一个球型部分、一个较
决议联合国决议是由联合国所做出的正式决定。所有的联合国机构都可以做出决议，但是实际上只有联合国大会和联合国安理会发布决议。有关联合国决议的法律效力一直是法学界争论的焦
库欣综合征库兴氏综合征（法语：Le syndrome de Cushing; 英语：Cushing's syndrome）亦称库欣氏综合征、柯兴氏综合征、皮质醇增多症，其中包括库欣氏病（Cushing's disease，专指由原发性脑下腺瘤
氟哌啶醇氟哌啶醇（Haloperidol），是一种典型抗精神疾病药物（英语：Typical antipsychotic）。该药可用于治疗思觉失调症、妥瑞氏症的抽动、恶心、呕吐、谵妄、躁动、思觉失调，以及戒酒症状。氟
奈特弗兰克·H·奈特（Frank H. Netter，1906年4月25日-1991年9月17日）是一位美国外科医生、著名医学插图画家。出生于曼哈顿。1989年出版《人体解剖图谱》（Atlas of Human Anatomy），该
细胞遗传学细胞遗传学（英语：Cytogenetics）是遗传学下的一个分支，主要研究的是染色体与细胞表现之间的关系（尤其是在有丝分裂和减数分裂期间）。与之相关的技术包括核型、G显带染色体分析、其
药物测试药物测试（英语：drug test），对于人体进行的测试，通过检查人体的血液、尿液、皮肤、头发等，来确认受测者是否摄取过某种特定药物。在正式的体育运动竞赛中实施的药物检查，称为禁药检
语调语调（英语：intonation、音高），又称语气、口气，是指说话者交谈发声的音调，即说话者依据个人心情（态度、个性），让声调的高低轻重音调，再附加上发声的高低轻重音调；前者是文法上的音调、后