一、原因
之前做逻辑推理，发现反证法只是知道怎么用，而有些概念不是很清楚，并且具体原理有点无法解释，所以，在此做一个简单的逻辑整理。不得不说，数学逻辑非常有用的，而且十分经典。
二、逻辑原理
1.前提概念
（1）原命题
p=>q，即已知p，可以推出q。
（2）否命题
p=>非q，即已知非p，可以推出非q。
（3）原命题的否定
p=>非q，即已知p，可以推出非q。
（4）三者关系
原命题和否命题之间没有必然关系，但是原命题和原命题的否定是对立的，即：原命题为真，则原命题的否定为假，原命题为假，则原命题的否定为真。
2.步骤
3.反证法的逻辑步骤
（1）欲证明：原命题：p=>q为真
（2）写出原命题的否定的逆命题，并证明为假：
（a）先对原命题的结论进行否定，即写出原命题的否定：p=>非q
（b）写出原命题的否定的逆命题：非q=>p
（c）推出矛盾，证明命题：非q=>p为假（即存在矛盾）
（3）逻辑推论证明原命题为真
（a）非q=>p为假，从而该命题的否定为真：非q=>非p为真
（b）再利用原命题和逆否命题的真假性一致，得到结论：p=>q为真
三、参考
1.http://blog.sina.com.cn/s/blog_8c2900510102va0g.html