小前提：钝角三角形ABC是三角形；

　　结论：钝角三角形ABC的内角和为180°.

　　用三段论写推理过程的技巧

　　(1)关键：用三段论写推理过程时，关键是明确大、小前提，三段论中大前提提供了一个一般原理，小前提提供了一种特殊情况，两个命题结合起来，揭示了一般原理与特殊情况的内在联系．

　　(2)何时省略：有时可省略小前提，有时甚至也可将大前提、小前提都省略．

　　(3)如何寻找：在寻找大前提时可找一个使结论成立的充分条件作大前提．　　　　

　　[活学活用]

　　下面四个推导过程符合演绎推理三段论形式且推理正确的是(　　)

　A．大前提：无限不循环小数是无理数；小前提：π是无理数；结论：π是无限不循环小数

　B．大前提：无限不循环小数是无理数；小前提：π是无限不循环小数；结论：π是无理数

　C．大前提：π是无限不循环小数；小前提：无限不循环小数是无理数；结论：π是无理数

　D．大前提：π是无限不循环小数；小前提：π是无理数；结论：无限不循环小数是无理数

　　解析：选B　对于A，小前提与大前提间逻辑错误，不符合演绎推理三段论形式；对于B，符合演绎推理三段论形式且推理正确；对于C，大小前提颠倒，不符合演绎推理三段论形式；对于D，大小前提及结论颠倒，不符合演绎推理三段论形式.

演绎推理在几何中的应用 　　

　　[典例]　如图，三棱柱ABC­A1B1C1的侧面BCC1B1是菱形，B1C⊥A1B，证明：平面AB1C⊥平面A1BC1.(写出每一个三段论的大前提、小前提、结论)

　　[证明]　因为菱形的对角线互相垂直，大前提

　　侧面BCC1B1是菱形，小前提

　　∴B1C⊥BC1.结论

若一条直线与一个平面内的两条相交直线都垂直，则该直线与此平面垂直，大前提