数学课件演绎推理.ppt

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有相异的两实数根。 证明：因为如果一元二次方程的判别式△0，那么这个方程有相异的两实数根, 现在已知方程x2－2mx+m－1=0的判别式△=4m2－4(m－1)=(2m－1)2+30， 因此方程x2－2mx+m－1=0有相异的两实数根。 这个证明虽然简单，只有一步推理，但它包含有两个步骤： （1）确定命题“如果一元二次方程的判别式△0（p），那么这个方程有相异的两实数根（q）”为真； （2）判断方程x2－2mx+m－1=0的判别式△0（p）为真，得出已知的方程有相异的两实数根。（q）为真。 用符号表示这种推理规则就是“如果p?q，p真，则q真”。 这种推理规则叫做假言推理。假言推理的本质是，通过证明结论的充分条件为真，判断结论为真。 2．三段论推理 三段论是指由两个简单判断作前提和一个简单判断作结论组成的演绎推理。三段论中三个简单判断只包含三个不同的概念，每个概念都重复出现一次。这三个概念都有专门名称：结论中的宾词叫“大词”，结论中的主词叫“小词”，结论不出现的那个概念叫“中词”，在两个前提中，包含大词的叫“大前提”，包含小词的叫“小前提”。 又因为EF 平面BCD， BD 平面BCD， 所以 EF//平面BCD。 例2．已知空间四边形ABCD中，点E、F分别是AB、AD的中点，求证：EF//平面BCD. 证明：连接BD，因为点E、F分别是AB、AD的中点， 所以 EF//BD， 在此证明中，第一步实际上暗含着一个一般性原理：三角形的中位线平行于第三边。这是大前提。 把一般性原理用于特殊情况，便得到了结论EF//BD。 而对特殊的△ABD，EF是中位线，这是小前提。 第二步，同样暗含这一个一般性原理： 如果不在一个平面内的一条直线和平面内的一条直线平行，那么这条直线和这个平面平行。这是大前提。 把一般性原理用于特殊情况，便得到了结论EF//平面BCD。 而EF//BD，EF 平面BCD，BD 平面BCD，这是小前提， 用符号表示，这两步都遵循如下推理规则： “如果b?c，由a?b，则a?c.”这种推理规则，叫做三段论推理。 3．传递性关系推理 传递性关系推理指前提中至少有一个是关系判断的推理，它是根据关系的逻辑性质进行推演的。可分为纯关系推理和混合关系推理。纯关系推理就是前提和结论都是关系判断的推理，包括对称性关系推理、反对称性关系推理、传递性关系推理和反传递性关系推理。 （1）对称性关系推理是根据关系的对称性进行的推理； （2）反对称性关系推理是根据关系的反对称性进行的推理； （3）传递性关系推理是根据关系的传递性进行的推理； （4）反传递性关系推理是根据关系的反传递性进行的推理。 例3．设a，b，c为正数，求证： 证明：首先，我们知道