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

类型二 演绎推理的应用

例2 如图，D，E，F分别是BC，CA，AB上的点，∠BFD＝∠A，DE∥BA，求证：ED＝AF，写出三段论形式的演绎推理．

考点 演绎推理的综合应用

题点 演绎推理在其他方面的应用

证明 因为同位角相等，两直线平行， 大前提

∠BFD与∠A是同位角，且∠BFD＝∠A， 小前提

所以FD∥AE. 结论

因为两组对边分别平行的四边形是平行四边形， 大前提

DE∥BA，且FD∥AE， 小前提

所以四边形AFDE为平行四边形． 结论

因为平行四边形的对边相等， 大前提

ED和AF为平行四边形AFDE的对边， 小前提

所以ED＝AF. 结论

反思与感悟 (1)大前提的正确性：几何证明往往采用演绎推理，它往往不是经过一次推理就能完成的，常需要几次使用演绎推理，每一个推理都暗含着大、小前提，前一个推理的结论往往是下一个推理的前提，在使用时不仅要推理的形式正确，还要前提正确，才能得到正确的结论．

(2)大前提可省略：在几何证明问题中，每一步都包含着一般原理，都可以分析出大前提和小前提，将一般原理应用于特殊情况，就能得出相应结论．

跟踪训练2 已知：在空间四边形ABCD中，点E，F分别是AB，AD的中点，如图所示，求证：EF∥平面BCD.

考点 演绎推理的综合应用

题点 演绎推理在其他方面的应用