2017-2018学年高中数学人教A版选修1-2教学案：第二章 2．1 2.1.2 演绎推理 Word版含答案.docVIP

2．1.2　演绎推理 预习课本P30～33，思考并完成下列问题(1)什么是演绎推理？它有什么特点？ 　 　 　 (2)什么是三段论？一般模式是什么？ 　 　 　 　 (3)合情推理与演绎推理有什么区别与联系？ 　 [新知初探] 1．演绎推理 (1)概念：从一般性的原理出发，推出某个特殊情况下的结论，我们把这种推理称为演绎推理． (2)特点：演绎推理是从一般到特殊的推理． (3)模式：三段论． 2．三段论 “三段论”是演绎推理的一般模式，包括： “三段论”的结论 ①大前提——已知的一般原理； ②小前提——所研究的特殊情况； ③结论——根据一般原理，对特殊情况做出的判断 “三段论”的表示 ①大前提：M是P； ②小前提：S是M； ③结论：S是P [点睛]　用集合的观点理解三段论 若集合M的所有元素都具有性质P，S是M的一个子集，那么S中所有元素也都具有性质P. [小试身手] 1．判断(正确的打“√”，错误的打“×”) (1)“三段论”就是演绎推理．(　　) (2)演绎推理的结论是一定正确的．(　　) (3)演绎推理是由特殊到一般再到特殊的推理．(　　) 答案：(1)×　(2)×　(3)× 2．平行于同一直线的两直线平行，因为a∥b，b∥c，所以a∥c，这个推理称为(　　) A．合情推理　B．归纳推理　C．类比推理　D．演绎推理 答案：D 3．正弦函数是奇函数，f(x)＝sin(x2＋1)是正弦函数，因此f(x)＝sin(x2＋1)是奇函数，以上推理中“三段论”中的__________是错误的． 答案：小前提 把演绎推理写成三段论的形式 [　将下列推理写成“三段论”的形式： (1)向量是既有大小又有方向的量，故零向量也有大小和方向； (2)0.33是有理数； (3)y＝sin x(x∈R)是周期函数． [解]　(1)大前提：向量是既有大小又有方向的量． 小前提：零向量是向量． 结论：零向量也有大小和方向． (2)大前提：所有的循环小数都是有理数． 小前提：0.33是循环小数． 结论：0.33是有理数． (3)大前提：三角函数是周期函数． 小前提：y＝sin x(x∈R)是三角函数． 结论：y＝sin x(x∈R)是周期函数． 用三段论写推理过程的技巧 (1)关键：用三段论写推理过程时，关键是明确大、小前提，三段论中大前提提供了一个一般原理，小前提提供了一种特殊情况，两个命题结合起来，揭示了一般原理与特殊情况的内在联系． (2)何时省略：有时可省略小前提，有时甚至也可将大前提、小前提都省略． (3)如何寻找：在寻找大前提时可找一个使结论成立的充分条件作大前提．　　[活学活用] 下面四个推导过程符合演绎推理三段论形式且推理正确的是(　　) A．大前提：无限不循环小数是无理数；小前提：π是无理数；结论：π是无限不循环小数 B．大前提：无限不循环小数是无理数；小前提：π是无限不循环小数；结论：π是无理数 C．大前提：π是无限不循环小数；小前提：无限不循环小数是无理数；结论：π是无理数 D．大前提：π是无限不循环小数；小前提：π是无理数；结论：无限不循环小数是无理数 解析：选B　对于A，小前提与大前提间逻辑错误，不符合演绎推理三段论形式；对于B，符合演绎推理三段论形式且推理正确；对于C，大小前提颠倒，不符合演绎推理三段论形式；对于D，大小前提及结论颠倒，不符合演绎推理三段论形式. 演绎推理在几何中的应用 几何证明中应用演绎推理的两个关注点 (1)大前提的正确性：几何证明往往采用演绎推理，它往往不是经过一次推理就能完成的，常需要几次使用演绎推理，每一个推理都暗含着大、小前提，前一个推理的结论往往是下一个推理的前提，在使用时不仅要推理的形式正确，还要前提正确，才能得到正确的结论． (2)大前提可省略：在几何证明问题中，每一步都包含着一般原理，都可以分析出大前提和小前提，将一般原理应用于特殊情况，就能得出相应结论． 提醒：在应用“三段论”进行推理的过程中，大前提、小前提或推理形式之一错误，都可能导致结论错误．　 [活学活用] 如图，在空间四边形ABCD中，E，F分别是AB，AD的中点，求证：EF∥平面BCD. 证明：三角形的中位线平行于底边，大前提 点E，F分别是AB，AD的中点，小前提 所以EF∥BD.结论 若平面外一条直线平行于平面内一条直线， 则这条直线与此平面平行，大前提 EF平面BCD，BD平面BCD，EF∥BD，小前提 所以EF∥平面BCD.结论 演绎推理在代数中的应用 [　已知函数f(x)＝ax＋(a＞1)，求证：函数f(x)在(－1，＋∞)上为增函数． [证明]　对于任意x1，x2∈(－1，＋∞)，且x1＜x2，若f(x1)＜f(x2)，则y＝f(x)在(－1，＋∞)上是增函数．(大前提) 设x1，x2∈(－1