首页 >
演绎推理
✍ dations ◷ 2025-05-30 20:30:39 #演绎推理
演绎推理(英语:Deductive Reasoning)、正向推理在传统的亚里士多德逻辑中是“结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理”。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。“演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或“结论在确定性上,同前提一样”的推理。任何三角形只可能是锐角三角形、直角三角形和钝角三角形。——大前提这个三角形既不是锐角三角形,也不是钝角三角形。——小前提所以,它是一个直角三角形。——结论更加形式化的说,演绎是陈述的序列,每个陈述都可以从它前面的陈述推导出来。本质上,这导致了如何证明第一个句子的公开问题(因为它不能从任何事物得到)。公理化命题逻辑通过要求证明满足下列条件来解决这个问题:来自 wff 的全体 Σ 的证明 α 是一个 wff 的有限序列:这里的并且对于每个 βi (1 ≤ i ≤ n),不同版本的公理化命题逻辑都包含一些公理,通常是三个或多于三个,除了一个或更多的推理规则之外。例如弗雷格公理化的命题逻辑,它也是这种尝试的第一个实例,有六个命题公理和两个规则。伯特兰·罗素和阿尔弗雷德·诺思·怀特黑德也提议了有五个公理的一个系统。例如扬·武卡谢维奇(Jan Łukasiewicz,1878年-1956年)版本的公理化命题逻辑有接受如下公理的公理集合 A:并且它有有一个规则的推理规则的集合 R,这个规则就是下面的肯定前件:推理规则允许我们从公理或给定的全体 Σ 的 wff 推导出陈述。在 E.J. Lemmon 提出的我们称为系统 L 的一个版本的自然演绎逻辑中,我们首先没有任何公理。我们只有支配证明的语法的九个基本规则。系统 L 的九个基本规则是:在系统 L 中,证明的定义有下列条件:如果没有前提给出,则相继式叫做定理。所以在系统 L 中定理的定义是:或者换句话说:相继式的证明的一个例子(这里是否定后件):相继式证明的一个例子(这里是一个定理):系统 L 的每行都有自己对输入或进入的类型的要求,它可以接受并且拥有它自己的处理和计算于是它的输入使用的假定的方式。
相关
- 齿颚矫正学齿颚矫正学(Orthodontics)是牙医学的一门专科,是研究牙齿咬合不正,又称错咬(Malocclusion)的治疗方法与学问。牙齿咬合不正其原因可能因为牙齿天生不规则生长或是后天错误咬合与上
- 肛门癌肛门癌(anal cancer)是在肛门(英语:human anus)的癌症,是位在消化道远端开口处的癌症。肛门癌和更常见的大肠癌是不同的病症。肛门癌一般是在鳞柱交界区附近的肛门鳞状细胞癌,多半
- 狭窄二尖瓣狭窄是一种较为常见的心瓣膜病。在正常情况下,二尖瓣在左心室舒张时打开,使血液从左心房流入左心室。患有二尖瓣狭窄症的病人二尖瓣在左心室舒张时不能够完全开放,使左心
- 血清素转运体· protein binding · monoamine transmembrane transporter activity · serotonin transmembrane transporter activity · myosin binding · syntaxin-1 binding
- 全球变暖全球变暖,或称全球暖化,指的是在一段时间中,地球的大气和海洋因温室效应而造成温度上升的气候变化,为公地悲剧之一,而其所造成的效应称之为全球变暖效应。在2013年,政府间气候变化
- H10N7亚型H10N7是一种甲型流感病毒(有时称为禽流感)的亚种。在2004年,埃及首次爆发有人类感染的H10N7疫症。此次爆发感染了一些伊斯梅利亚的居民,包括两个一岁的婴儿和有一个孩子的家禽商
- 法 (印度哲学)法,直译为世间万法、音译为达摩(梵语:धर्म,dharma,巴利语:धम्म,dhamma)是在印度的哲学和宗教中极其重要的一个含义多变的术语。在传统印度社会中,法在历史上已经指称了各种思
- 智力智力或智能(英语:Intelligence)是指生物一般性的精神能力。这个能力包括以下几点:推理、理解、计划、解决问题、抽象思维、表达意念以及语言和学习的能力。尽管智力的定义与重要
- 多发性硬化多发性硬化症(Multiple sclerosis,MS)是一种脱髓鞘性神经病变(英语:demyelinating disease),患者脑或脊髓中的神经细胞表面的绝缘物质(即髓鞘)受到破坏,神经系统的信号转导受损,导致一
- 塞音塞音(汉语拼音:sè yīn;注音:ㄙㄜˋㄧㄣ ;英文:Plosive 或 Stop 或 Occlusive),也称爆破音、闭塞音、塞爆音。塞音为一种辅音,借由阻塞声道使所有气流停止。依照辅音发音三阶段,成阻