傳遞推理:若能由A推出B,且能由B推出C,那麼就可斷言:由A能夠推出C。 亦即是說:A推出B且B推出C則等價于A推出C。
逆否推理:如果從結論的否定出發,能夠推得條件的否定,那麼就證明原命題成立。也就是說,要證A推出B成立,隻要證明非B推出非A成立即可。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!