归谬法(contradiction)
如果一个证明类似 p->q的形式
归谬法即 证明 p^非q = F
反证法(contraposition)
证明 非q->非p
原命题即成立
免责声明！
本站转载的文章为个人学习借鉴使用，本站对版权不负任何法律责任。如果侵犯了您的隐私权益，请联系本站邮箱yoyou2525@163.com删除。
归谬法(contradiction)
如果一个证明类似 p->q的形式
归谬法即 证明 p^非q = F
反证法(contraposition)
证明 非q->非p
原命题即成立
本站转载的文章为个人学习借鉴使用，本站对版权不负任何法律责任。如果侵犯了您的隐私权益，请联系本站邮箱yoyou2525@163.com删除。