7.4　直接证实与间接证实
--
知识梳理
考点自测
1.直接证实
成立
充分
--
知识梳理
考点自测
2.间接证实间接证实是不一样于直接证实又一类证实方法,反证法是一个惯用间接证实方法.(1)反证法定义:假设原命题　　　　(即在原命题条件下,结论不成立),经过正确推理,最终得出　　　,所以说明假设错误,从而证实　　　　　　证实方法.(2)用反证法证实普通步骤:①反设——假设命题结论不成立;②归谬——依据假设进行推理,直到推出矛盾为止;③结论——断言假设不成立,从而必定原命题结论成立.
不成立
矛盾
原命题成立