zolo_yeah
春芽
共回答了15个问题采纳率:86.7% 举报
反证法不等同于逆否命题,反证法是证明数学命题的一种间接证法,有些学生认为反证法就是证明原命题的逆否命题.实际上,这种看法是错误的,这两者之间有着本质的区别.
反证法的步骤是要证明命题p推出q正确,
先假设一个命题p推出非q,
接着证明p推出非q这个命题不成立(推导矛盾),
于是从而确定命题p推出非q本身的正确性 .
而逆否命题跟原命题在逻辑上真假性相同.只有在推导矛盾的过程中用了假设 q 而没有用题设p 作前提,且推导出的结果是 p 时,这样证明的命题才是逆否命题.
1年前
8