跟踪训练1 下面四个推导过程符合演绎推理三段论形式且推理正确的是( )
A.大前提:无限不循环小数是无理数;小前提:π是无理数;结论:π是无限不循环小数
B.大前提:无限不循环小数是无理数;小前提:π是无限不循环小数;结论:π是无理数
C.大前提:π是无限不循环小数;小前提:无限不循环小数是无理数;结论:π是无理数
D.大前提:π是无限不循环小数;小前提:π是无理数;结论:无限不循环小数是无理数
考点 "三段论"及其应用
题点 三段论的结构
答案 B
解析 对于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)大前提的正确性:几何证明往往采用演绎推理,它往往不是经过一次推理