证明题的简单分?/p>
1
综合?/p>
综合法是一种从题设到结论的逻辑推理方法,也就是由因导果?/p>
证明方法?/p>
2
分析?/p>
分析法是一种从结论到题设的逻辑推理方法,也就是执果索因?/p>
的证明方法。分析法的证明路径与综合法恰恰相反?/p>
3
反证?/p>
由于原命题与逆否命题等效,所以当证明原命题有困难或者无?/p>
证明时,
可以考虑证明它的逆否命题?/p>
通过正确推理如果逆否命题?/p>
确或者推出与原命题题设、公理、定理等不相容的结论,从而判定结
论的反面不成立,也就证明了原命题的结论是正确的?/p>
反证法视逆否命题的题设也就是原命题的结论的反面的情况?/p>
分为两种?/p>
1)
归谬?/p>
?/p>
若结论的反面只有一种情况,
那么把这种情况推翻就
达到证明的目的了?/p>
2
)穷举法
、若结论的反面不只一种情况,则必须将所有情况都
驳倒,这样才能达到证明的目的?/p>
前三种方法也叫演绎法。都是按照“从一般到特殊”的思维过程
进行推理的?/p>
4
归纳?/p>