(3)大前提:一次函数都是单调函数;
小前提:函数y=2x-1是一次函数;
结论:y=2x-1是单调函数.
(4)大前提:等差数列的通项公式具有形式an=pn+q;
小前提:数列1,2,3,...,n是等差数列;
结论:数列1,2,3,...,n的通项具有an=pn+q的形式.
要点二 演绎推理的应用
例2 正三棱柱ABC-A1B1C1的棱长均为a,D、E分别为C1C与AB的中点,A1B交AB1于点G.
(1)求证:A1B⊥AD;
(2)求证:CE∥平面AB1D.
证明
(1)连接BD.
∵三棱柱ABC-A1B1C1是棱长均为a的正三棱柱,
∴A1ABB1为正方形,∴A1B⊥AB1.
∵D是C1C的中点,
∴△A1C1D≌△BCD,∴A1D=BD,∵G为A1B的中点,∴A1B⊥DG,
又∵DG∩AB1=G,∴A1B⊥平面AB1D.
又∵AD⊂平面AB1D,∴A1B⊥AD.
(2)连接GE,∵EG∥A1A,∴GE⊥平面ABC.
∵DC⊥平面ABC,∴GE∥DC,
∵GE=DC=a,∴四边形GECD为平行四边形,∴CE∥GD.
又∵CE⊄平面AB1D,DG⊂平面AB1D,
∴CE∥平面AB1D.
规律方法 (1)应用三段论解决问题时,应当首先明确什么是大前提和小前提,但为了叙述的简洁,如果前提是显然的,则可以省略.
(2)数学问题的解决与证明都蕴含着演绎推理,即一连串的三段论,关键是找到每一步推理的依据--大前提、小前提,注意前一个推理的结论会作为下一个三段论的前提.