Modus tollendo tollens (Latin: the way that denies by denying) is a valid, simple argument form in classical logic sometimes referred to as denying the consequent. It is closely related to another valid form of argument, modus ponens or affirming the antecedent. Modus tollens is a very common rule of inference, and takes the following form:
- If P, then Q.
- Not Q.
- Therefore, not P
- Stone, Jon R. (1996). Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language. London, UK: Routledge: 60..
- University of North Carolina, Philosophy Department, Logic Glossary.