Llamado también modus tollendo tollens [“modo que quitando (negando) quita (niega)”], o razonamiento indirecto. Es una implicación tautológica que dice que si tenemos una implicación, y además la negación de su consecuente, ello nos permite inferir como conclusión la negación del antecedente.
Se expresa en forma de ley: [(p→q)∧¬q]→¬p (en lenguaje natural sería algo así como si p implica q, y q es falso, entonces p también debe ser falso)
Su argumento correspondiente es:
- p→q
- ¬q
- ⊢¬p
(v. implicación)