反证法不等同于逆否命题。反证法是证明数学命题的一种间接证法,有些学生认为反证法就是证明原命题的逆否命题,这种看法是错误的,这两者之间有着本质的区别。反证法的步骤是要证明命题p推出q正确,先假设一个命题p推出非q,接着证明p推出非q这个命题不成立,于是从而确定命题p推出非q本身的正确性 。
逆否命题跟原命题在逻辑上真假性相同。只有在推导矛盾的过程中用了假设q而没有用题设p作前提,且推导出的结果是p时,这样证明的命题才是逆否命题。
- 本文固定链接: http://news.x86android.com/articles/716687.html
- 转载请注明: zhiyongz 于 知识百科-X86安卓中文站 发表
《本文》有 0 条评论