《陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 数学证明名师点拨课件 北师大选修12》由会员分享,可在线阅读,更多相关《陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 数学证明名师点拨课件 北师大选修12(10页珍藏版)》请在金锄头文库上搜索。
1、1三段论中的大前提提供了一个一般性的原理,小前提指出了一种特殊情况,两个命题结合起来,揭示了一般原理与特殊情况的内在联系,从而得到了第三个命题结论 2三段论推理的结论正确与否,取决于两个前提是否正确,推理形式(即S与M的包含关系)是否正确 特别提醒运用三段论推理时,常可省略大前提或小前提,对于复杂的证明,也常把前一个三段论的结论作为下一个三段论的前提,1演绎的前提是一般性原理,演绎所得的结论是蕴涵于前提之中的个别、特殊事实,结论完全蕴涵于前提之中,2在演绎推理中,前提与结论之间存在着必然的联系,只要前提是真实的,推理的形式是正确的,那么结论也必定是正确的因而演绎推理是数学中严格证明的工具,3演
2、绎推理是一种收敛性的思维方法,它较少有创造性,但却具有条理清晰、令人信服的论证作用,有助于科学的理论化和系统化,演绎推理与合情推理的有机结合探索性演绎法,即探索性演绎法是在演绎推理的基础上发展起来的一种合情推理的方法,如图,在ABC中,ACBC,CD是AB边上的高,求证:ACDBCD.,【错解】证明:在ABC中,因为CDAB,ACBC,所以ADBD,所以ACDBCD. 【错因】错解原因在于虽然运用的大前提正确:在同一个三角形内,大边对大角;而AD与BD并不是同一个三角形的两条边,即小前提并不成立,所以推理过程错误,【正解】证明:因为CDAB, 所以ADCBDC90. 所以AACDBBCD90. 所以ABBCDACD. 在ABC中,因为ACBC,所以BA,即AB0, 所以BCDACD0,所以ACDBCD.,