Modus tollens

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:

(Véase implicación).