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:
A
B |
¬B
|
 |
 ¬A |
(v. implicación).
