什麼是逆否推理傳遞推理

傳遞推理：若能由A推出B，且能由B推出C，那麼就可斷言：由A能夠推出C。 亦即是說：A推出B且B推出C則等價於A推出C。

逆否推理：如果從結論的否定出發，能夠推得條件的否定，那麼就證明原命題成立。也就是說，要證A推出B成立，只要證明非B推出非A成立即可。