演绎推理

✍ dations ◷ 2025-12-10 09:45:25 #演绎推理

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

相关

环氧化酵素环氧合酶（拉丁语：Cyclooxygenase，简称COX）是一种酶（又名酵素），负责合成重要的生物激素——前列腺素家族的导介物质。当身体组织受到某种刺激如外伤、感染等会激活环氧合酶，使花生四
甲羟戊酸甲羟戊酸, 甲瓦龙酸（Mevalonic acid, MVA）是生物化学中甲羟戊酸途径的前体化合物，是胆固醇和众多类萜生物合成的中间体之一。呈油状，易溶于水和极性有机溶剂。溶液中容易内酯化，
酸性磷酸酶酸性磷酸酶（英语：Acid phosphatase，EC 3.1.3.2）是一类磷酸酶（将磷酸基团从有机分子上水解下来的酶），且可进一步归类为磷酸单酯水解酶。酸性磷酸酶储存于溶酶体中，在其与核内体融合后
熔融状态熔化是指物质由固态转变为液态的一个过程（又称熔解，其中冰的熔化又写作融化、融解）。固态物质中的内能增加（通常借由加热或加压）至一特定的温度（称之为熔点），在该温度下（或对于非纯物
D10（Antifungals for dermatological use）（Emollients and protectives）（Preparations for treatment of wounds and ulcers）（Antipruritics, including antihistamines, anesthetics,
波利比乌斯波利比乌斯（希腊语：Πολύϐιος，前200年－前118年）生于伯罗奔尼撒的梅格洛玻利斯，希腊化时代的政治家和历史学家，以《历史》一书留名传世，原书40卷，只有5卷传世，记叙地中海周边的
哈尔基斯哈尔基斯（英语：Chalcis；现代希腊语：Χαλκίδα ；古希腊语：Χαλκίς, -ίδος），希腊优卑亚岛城市，位于该岛西部，与希腊大陆隔尤里普斯海峡。哈尔基斯为该岛主要城镇，埃维亚州
细菌性肠胃炎肠胃炎是以胃和小肠炎症为特征的胃肠道病症，可导致腹泻、呕吐、腹部的疼痛和绞痛合并而成疾病表现。虽然与流感并无关系，但该病也被称为肠胃型感冒和消化道流感。肠胃炎通常是
表皮癣菌表皮癣菌属（学名：Epidermophyton）是子囊菌门的一属真菌，只包含两个物种，其中絮状表皮癣菌（Epidermophyton floccosum）是能造成皮肤感染的真菌之一，能感染皮肤与指甲，造成足癣、股癣、
牙牙部，为汉字索引中的部首之一，康熙字典214个部首中的第九十二个（四划的则为第三十二个）。就繁体和简体中文中，牙部归于四划部首。牙部通常是从下方均可为部字。且无其他部首可用