歸謬法(contradiction)
如果一個證明類似 p->q的形式
歸謬法即 證明 p^非q = F
反證法(contraposition)
證明 非q->非p
原命題即成立
免責聲明！
本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。
歸謬法(contradiction)
如果一個證明類似 p->q的形式
歸謬法即 證明 p^非q = F
反證法(contraposition)
證明 非q->非p
原命題即成立
本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。