在经典逻辑中，否定后件（拉丁语：modus tollens）有如下论证形式：

如果P，则Q。

非Q。

所以，非P。

它也可也被认为是否定结论，是一种有效的认证形式。

否定后件有时会与间接证明（假设命题的否定成立，证明这会导致矛盾）或者逆否命题证明（证明如果P则Q，通过证明如果非Q则非P的方法实现）相混淆。

In propositional logic, modus tollens (or modus tollendo tollens and also denying the consequent) (Latin for "the way that denies by denying") is a valid argument form and a rule of inference. It is an application of the general truth that if a statement is true, then so is its contra-positive.