2.例题探析：

例1 求证：一个三角形中最大的角不超过

证明：设△中，

即

所以

这个例子中，由（1）（2）是三段论推理，详细表述就是：大前提：设都是实数，若则有；

小前提：△中各角的度数都是实数，设,即;

结论：.

在这个例子当中，由（2）到（3）也是三段论推理，省略的大前提是"三角形的内角和等于180".

例2：在锐角三角形ABC中，，D，E是垂足. 求证：AB的中点M到D，E的距离相等.

分析：证明思路 →板演：证明过程 → 指出：大前题、小前题、结论.

例3 证明函数在上是增函数.

板演：证明方法（定义法、导数法） → 指出：大前题、小前题、结论.

思考：因为所有的边长相等的凸多面体是正多边形,大前提

而菱形是所有边长都相等的凸多边形, 小前题

所以菱形是正多边形结论

(1) 上面的推论形式正确吗?

(2) 推理的结论正确吗?为什么?

(3) 演绎推理怎样才结论正确？（只要前提和推理形式正确，结论必定正确）

3.比较：合情推理与演绎推理的区别与联系？（从推理形式、结论正确性等角