➡根据以上探究过程，试着写出反证法的定义及反证法常见的矛盾类型： 1.反证法的定义 假设原命题_______(即在原命题的条件下，_____不成立)，经过正 确的推理，最后得出矛盾，因此说明假设错误，从而证明了_______ 成立，这样的证明方法叫做反证法.

不成立

结论

原命题