数学思想方法中山大学电子与通信工程学院第9讲数学证明的思想方法

9数学证明的思想方法9.1演绎法9.2构造法

9数学证明的思想方法9.1演绎法9.2构造法

演绎法|推理与证明定义演绎法是从一般原理得出个别结论，或从一般前提得出特殊情况下的结论的推理方法，也称为演绎推理.从思维方式的角度，演绎法是与归纳法相对的.在传统逻辑学中，归纳法和演绎法是理性思维的两种主要推理方法.归纳法是从特殊到一般，属于合情推理，是一种或然性推理；演绎法从一般到特殊，属于论证推理，是一种必然性推理.

演绎法|推理与证明演绎法是必然性推理，只要推理形式合乎逻辑，就能从前