高中数学第2章推理与证明2
2演绎推理互动课堂苏教版选修2-2疏导引导1
演绎推理是由一般性的命题推出特殊性命题的一种推理模式
演绎推理的主要形式,就是由大前提、小前提推出结论的三段论式推理
三段论式推理常用的一种格式,可以用以下公式来表示:M-P(M是P)三段论推理的根据,用集合论的观点来讲,就是:若集合M的所有元素都具有性质P,S是M的子集,那么S中所有元素都具有性质P
三段论的公式中包含三个判断:第一个判断称为大前提,它提供了一个一般的原理;第二个判断叫小前提,它指出了一个特殊情况;这两个判断联合起来,揭示了一般原理和特殊情况的内在联系,从而产生了第三个判断——结论
演绎推理是一种必然性推理
演绎推理的前提与结论之间有蕴涵关系,因而,只要前提是真实的,推理的形式是正确的,那么结论必定是真实的
但错误的前提可能导致错误的结论
在推理形式中,不论任何具体概念代入S、M与P,只要代入后的前提是正确的,那么代入后的结论也是正确的,这表明在演绎推理中,从正确前提出发,运用正确的推理形式,就必然得出正确的结论
就数学而言,演绎推理是证明数学结论、建立数学体系的重要思维过程
但数学结论、证明思路等的发现过程,主要靠合情推理
因此,我们不仅应当学会证明,也应当学会猜想
“三段论”是由古希腊的亚里士多德创立的
亚里士多德还提出了用演绎推理来建立各门学科体系的思想
例如欧几里得的《原本》就是一个典型的演绎系统,它从10条公理和公设出发,利用演绎推理,推出所有其他命题
像这种尽可能少地选取原始概念和一组不加证明的原始命题(公理、公设),以此为出发点,应用演绎推理,推出尽可能多的结论的方法,称为公理化方法
公理化方法的精髓是:利用尽可能少的前提,推出尽可能多的结论
继《原本》之后,公理化方法广泛应用于自然科学、社会科学领域,例如牛顿以牛顿三定律为公理,运用演绎推理推出关于天体空间的一