摘要: 归谬法(contradiction) 如果一个证明类似 p->q的形式 归谬法即 证明 p^非q = F 反证法(contraposition) 证明 非q->非p 原命题即成立 阅读全文
posted @ 2020-03-14 19:15 大财主 阅读(3573) 评论(0) 推荐(0) 编辑