离散数学归谬法与反证法的比较

归谬法(contradiction)

如果一个证明类似 p->q的形式

归谬法即 证明   p^非q = F

 

反证法(contraposition)

证明  非q->非p

原命题即成立

posted @ 2020-03-14 19:15  大财主  阅读(3573)  评论(0编辑  收藏  举报