演绎推理

✍ dations ◷ 2025-11-23 17:41:29 #演绎推理

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

相关

古巴斯捷氏综合征古德巴斯捷氏综合征（Goodpasture syndrome，GPS），又称古德巴斯捷氏病（Goodpasture's disease）、肺出血肾炎综合征、抗肾小球基底膜抗体病（anti-glomerular basement antibody diseas
百浪多息百浪多息（拉丁语：Prontosil）是世界上第一种商品化的合成抗菌药（Synthetic Antibacterial Agent）和磺胺类药（Sulfonamide antibacterial），是由德国法本公司下属拜耳实验室的研究人员
锺理和锺理和（1915年12月15日－1960年8月4日），笔名江流、里禾、锺铮、锺坚，是一位出身台湾六堆的客家籍作家。他的代表作有长篇小说《笠山农场》、中篇小说《雨》及短篇小说《原乡人》、
嘧啶类似物嘧啶类似物（英语：Pyrimidine analogues）是与嘧啶结构上类似的核苷类似物（英语：nucleoside analogue）抗代谢物。嘧啶5-氟尿嘧啶氟尿苷吉西他滨嘧啶类抗代谢物通常通过干扰DNA的合成
西欧西欧是指欧洲西半部，面积约500万平方公里，占欧洲的一半左右。习惯上，本区又可以分为北欧、西欧、南欧三部分。本区位于欧亚大陆西部、大西洋东岸，大部分位于北纬35°～60°属北温
科学可视化科学可视化（英语：scientific visualization 或 scientific visualisation）是科学之中的一个跨学科研究与应用领域，主要关注的是三维现象的可视化，如建筑学、气象学、医学或生物学
奥曲肽奥曲肽（学名体抑素胜肽）是一种肽。它是天然生长激素、胰高血糖素和胰岛素，但在药理上模仿了天然的体抑素。它是由化学家Wilfried Bauer于1979年首次合成的。奥曲肽会用于治疗产
弥散性血管内凝血弥散性血管内凝血（英语：Disseminated Intravascular Coagulation，简称DIC），又称消耗性凝血病，是指在某些致病因子的作用下，大量促凝物质入血，凝血因子和血小板被活化，使凝血酶增多，微
雇佣雇佣（英语：employment，意近：就业）是指二个伙伴之间的契约关系，其中一方为雇佣者（雇主、雇佣人），另一方为被雇佣者（雇员）。从法律意义来看，通过双方契约约定，“被雇佣者”为“雇佣者”工作
冷却塔冷却塔（Cooling tower），火力发电厂、核能发电厂、大型空调设备和制冷设备的循环水冷却装置，冷却水塔又称冷却塔，是一种排热装置，利用将水流冷却到较低的温度，再将系统中的热量排放