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