演绎推理

✍ dations ◷ 2025-11-22 20:07:28 #演绎推理

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

相关

小儿科小儿科（或称儿科）是现代医学的一个分支，专门医疗患病的婴儿、儿童及青少年。最大的年龄通常至青春期。一个受到这方面知识专门训练的医生被称作儿科医生。
AAT艺术与建筑索引典（英语：Art & Architecture Thesaurus，AAT）是一个用来描述关于艺术、建筑和物质文化项目的受控词表。AAT收录各种通用术语，如“大教堂”，但不收录专有名词，如“圣母
氧气中毒氧气中毒（Oxygen toxicity）是指吸入高浓度高压氧气的不良反应，又称氧气毒性症，氧气毒性。这种症状历史上曾称以发现及描述此病症的19世纪研究员命名，其对中枢神经系统的影响称为
碳头孢烯碳头孢烯（英语：Carbacephems）是一类合成的头孢菌素类抗生素，和头孢烯结构上类似，不过5号位置由亚甲基取代了原来的硫原子。碳头孢烯类抗生素通过抑制细胞壁合成来抑制细菌。羧基
炎症性肠病炎症性肠病、发炎性肠道疾病（英语：Inflammatory Bowel Disease, 简称IBD）是一组特定的肠道慢性疾病的统称，主要包括克隆氏症和溃疡性结肠炎两种。炎症性肠病的主要分为克罗恩病
中央研究院院士中央研究院院士为中华民国中央研究院之荣誉头衔，也是中华民国的最高学术荣誉，但并非职务。中央研究院院士仅为荣誉，平常并无任何职务或实质酬劳，两年一次的院士会议则为院士唯一
形意文字语言学上的形意符号（英：ideogram，亦称表意符号、形意图或表意图），是一种图形符号，只代表一定意义。它不是一种代表语言的语素或语音的文字系统。换句话说，这种文字系统并不能用于记
甘露庚酮糖甘露庚酮糖（英语：Mannoheptulose）是一种庚糖，即有七个碳原子的单糖。它是己糖激酶的抑制剂，通过竞争性地与己糖激酶结合来阻断葡萄糖的磷酸化。结果是葡萄糖的降解被抑制。D-甘露
宫颈子宫颈（cervix、cervix uteri）是子宫底部狭窄的开口。连接阴道。形状是圆柱形或圆锥形。突出于阴道壁的前上方。子宫颈大约有一半长度可透过适当医学仪器看见。子宫颈伸入阴道
石房蛤毒素石房蛤毒素（Saxitoxin ，STX）是一种极强的神经毒素，是已知毒性最强的麻痹性贝类毒素（PST）。石房蛤毒素首次分离于帘蛤科的石房蛤体内，并由此得名。石房蛤毒素实际上是一些藻类和蓝细