离散数学归谬法与反证法的比较 归谬法(contradiction) 如果一个证明类似 p->q的形式 归谬法即 证明 p^非q = F 反证法(contraposition) 证明 非q->非p 原命题即成立