归谬法(contradiction). 如果一个证明类似p->q的形式. 归谬法即证明 p^非q = F. 反证法(contraposition). 证明 非q->非p. 原命题即成立. posted @.
確定! 回上一頁