证明的方法有哪些方法

证明的方法有哪些方法

证明方法
编辑
用于逻辑证明的方法，出现《逻辑学》和《数学》里。综合法是一种从题设到结论的逻辑推理方法，也就是由因导果的证明方法。
综合法
编辑
综合法是一种从题设到结论的逻辑推理方法，也就是由因导果的证明方法。
分析法
编辑
分析法是一种从结论到题设的逻辑推理方法，也就是执果索因法的证明方法。分析法的证明路径与综合法恰恰相反。
反证法
编辑
由于原命题与逆否命题等效，所以当证明原命题有困难或者无法证明时，可以考虑证明它的逆否命题，通过正确推理如果逆否命题正确或者推出与原命题题设、公理、定理等不相容的结论，从而判定结论的反面不成立，也就证明了原命题的结论是正确的。
反证法视逆否命题的题设也就是原命题的结论的反面的情况又分为两种：
1）归谬法：若结论的反面只有一种情况，那么把这种情况推翻就达到证明的目的了。
2）穷举法：若结论的反面不只一种情况，则必须将所有情况都驳倒，这样才能达到证明的目的。
前三种方法也叫演绎法。都是按照“从一般到特殊”的思维过程进行推理的。
归纳法
编辑
归纳法或归纳推理，有时叫做归纳逻辑，是从个别性知识,引出一般性知识的推理,是由已知真的前提,引出可能真的结论。它把特性或关系归结到基于对特殊的代表的有限观察的类型；或公式表达基于对反复再现的现象的模式的有限观察的规律。