否定後件

在經典邏輯中 ， 否定後件  有如下論證形式 ： 如果P ， 則Q 。 非Q 。 所以 ， 非P 。 它也可也被認爲是否定結論 ， 是一種有效的認證形式 。 否定後件有時會與歸謬法 ( Proof by contradiction ) （ 假設命題的否定成立 ， 證明這會導致矛盾 ） 或者反證法 ( Proof by contrapositive ) （ 證明如果P則Q ， 通過證明如果非Q則非P的方法實現 ） 相混淆 。