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).
