数学中,什么是演绎推理法,麻烦举例说明

演绎推理的定义：从一般性的原理出发，推出某个特殊情况下的结论，这种推理称为演绎推理。
1．演绎推理是由一般到特殊的推理；
2．“三段论”是演绎推理的一般模式；包括
（1）大前提——已知的一般原理；
（2）小前提——所研究的特殊情况；
（3）结论——据一般原理，对特殊情况做出的判断．
三段论的基本格式
m—p（m是p）
（大前提）
s—m（s是m）
（小前提）
s—p（s是p）
（结论）
3．三段论推理的依据，用集合的观点来理解：
若集合m的所有元素都具有性质p，s是m的一个子集，那么s中所有元素也都具有性质p。

例
1
、
把“函数y=x
2
+x+1的图象是一条抛物线”恢复成完全三段论。
解：二次函数的图象是一条抛物线
（大前提）
函数y=x
2
+x+1是二次函数（小前提）
所以，函数y=x
2
+x+1的图象是一条抛物线（结论）

例
2
、
已知lg2=m，计算lg0.8
解：（1）
lga
n
=nlga（a>0）——大前提
lg8=lg2
3
————小前提
lg8=3lg2————结论
lg（a/b）=lga-lgb（a>0，b>0）——大前提
lg0.8=lg（8/10）——－小前提
lg0.8=lg（8/10）——结论

例
3
、
如图；在锐角三角形abc中，ad⊥bc，
be⊥ac，
d，e是垂足，求证ab的中点m到d，e的距离相等
解：
（1）因为有一个内角是只直角的三角形是直角三角形，——大前提
在△abc中，ad⊥bc，即∠adb=90°——小前提
所以△abd是直角三角形——结论
（2）因为直角三角形斜边上的中线等于斜边的一半，——大前提
因为
dm是直角三角形斜边上的中线，——小前提
所以
dm=
ab——结论
同理
em=
ab
所以
dm=em_