否定後件 在经典逻辑中否定后件拉丁語modus tollens有如下论证形式 如果P则Q 非Q 所以非P 它也可也被认为是否定结论是一种有效的认证形式 否定后件有时会与歸謬法 Proof by contradiction假设命题的否定成立证明这会导致矛盾或者反證法 Proof by contrapositive证明如果P则Q通过证明如果非Q则非P的方法实现相混淆