A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

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:

  • p→q
  • ¬q
  • ⊢¬p

 

(v. implicación)