【数学】2.1.2《演绎推理》课件新人教b版选修2-2.pptVIP

2.1.2 演绎推理 * 我们先看一个简单的例子。 命题：等腰三角形的两底角相等。 已知：如图，在△ABC中，AB=AC， 求证：∠B=∠C。 证明：作∠A的角平分线AD， 则∠BAD=∠CAD， 又因为AB=AC，AD=AD， 所以△ABD≌△ACD（SAS）， 因此∠B=∠C。 分析上述推理过程，可以看出，推理的每一个步骤都是根据一般性命题（如“全等三角形对应角相等”）推出特殊性命题（如“∠B=∠C”）。 这类根据一般性的真命题（或逻辑规则）导出特殊性命题为真的推理，叫做演绎推理。 演绎推理的特征是： 当前提为真时，结论必然为真。 例如，由真命题a，b遵循演绎推理规则得出命题q，则q必然为真。 1．假言推理 假言推理是以假言判断为前提的演绎推理。假言推理分为充分条件假言推理和必要条件假言推理两种。 （1）充分条件假言推理的基本原则是： 小前提肯定大前提的前件，结论就肯定大前提的后件；小前提否定大前提的后件，结论就否定大前提的前件。 （2）必要条件假言推理的基本原则是： 小前提肯定大前提的后件，结论就要肯定大前提的前件；小前提否定大前提的前件，结论就要否定大前提的后件。 例1．设m为实数，求证方程x2－2mx+m－1=0有相异的两实数根。 证明：因为如果一元二次方