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

归谬法(contradiction)

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

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

反证法(contraposition)

证明  非q->非p

原命题即成立