推理与证明复习课导论.ppt

复习:;推理案例1：春秋时代鲁国的公输班（后人称鲁班，被认为是木匠业的祖师）一次去林中砍树时被一株齿形的茅草割破了手，这桩倒霉事却使他发明了锯子.;归纳推理;类比推理;推理案例2;类比推理的一般步骤：;;;归纳推理：;从一般性的原理出发，推出某个特殊情况下的结论，这种推理称为演绎推理．;三段论的基本格式; 观察与思考; 演绎推理（练习）;推理;直接证明;直接证明;综合法;一般地，从要证明的结论出发，逐步寻求 使它成立的充分条件，直至最后，把要证 明的结论归结为判定一个明显成立的条件 （已知条件、定理、定义、公理等）。;【分析法】;反证法 证明过程