演绎推理

✍ dations ◷ 2024-12-22 20:22:19 #演绎推理

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

相关

急性间质性肺炎急性间质性肺炎又称为Hamman-Rich症候群，是一种原因不明之罕见且严重的急性肺病，属于特发性间质性肺炎和间质性肺病的一种。往往看上去完全健康的人极偶尔会患这种病。至2005
医学索引医学索引（Index medicus）是一医学杂志文章的综合索引，刊登于1879年到2004年间（其中1899年到1902年中断）。由于免费的搜寻引擎如PubMed的广泛应用，2004年美国国家医学图书馆停止出
脑死脑死（或称脑死亡，英语：Brain death），作为死亡判定的准则之一，通常指包括脑干在内的全脑部功能丧失的不可逆转的状态。近年以来，脑死已经成为判断死亡的一个重要标志。一个人若停止
抗辐射奇异球菌抗辐射奇异球菌（学名：Deinococcus radiodurans）是一种对辐射有免疫力的嗜极生物，可以承受能杀死人类3000倍和蟑螂无法抵抗的15倍辐射。
跗骨跟骨距骨骰骨足舟骨在四足类动物中，跗骨（英语：Tarsus）指的是足部由七个突出的骨骼构成的集合，位于跖骨和下肢胫骨和腓骨的下端，属于短骨。人类最大的跗骨是跟骨
DINP邻苯二甲酸二异壬酯（Di-iso-nonyl Phthalate，缩写为DINP，化学式C26H42O4，结构式为C6H4(COO（CH2）6CH(CH3)2)2，为邻苯二甲酸与异壬醇生成的酯类化合物。它是邻苯二甲酸酯的一种，也是
产品可视化可视化是指用于创建图形、图像或动画，以便交流沟通讯息的任何技术和方法。在历史上包括洞穴壁画、埃及象形文字等，如今可视化有不断扩大的应用领域，如科学教育、工程、互动多媒
国家突发公共事件应急响应机制国家突发公共事件应急响应机制，是根据中华人民共和国国务院制订的《国家突发公共事件总体应急预案》所采取的全国性应急预案体系，其目的是提高政府保障公共安全和处置突发公共
沙奎那韦沙奎那维（saquinavir），商品名Invirase和Fortovase，为一种抗反转录病毒药物，可与其他药物合并治疗艾滋病。通常会与ritonavir（英语：ritonavir）或快利佳合并使用，该药属于口服药物。常
鸡雁小纲鸡雁小纲（学名：Galloanserae）是指雁形目及鸡形目两目的鸟类。它们在解剖及分子、形态及DNA序列、与及反转录转座子标记上的相似，显示它们是演化上的近亲。虽然鸡雁小纲的成员在