Modus tollens
De Enciclopedia Symploké, la enciclopedia libre.
En latín, «modo que niega».
Regla de inferencia derivada que se simboliza de la siguiente manera:
A → B Si A, entonces B. ¬B No B. -----, que se lee ----------------- ¬A Por tanto, no A.
Dada una fórmula condicional y la negación de su consecuente, esta regla nos permite pasar a la negación de su antecedente.
Ejemplo: Por modus tollens, de las fórmulas (p ^ q) → r y ¬r obtenemos ¬(p ^ q). En lenguaje ordinario: Si es domingo y hace buen tiempo, seguro que nos vamos a la playa; no nos vamos a la playa; por tanto, no es verdad que sea domingo y que haga buen tiempo.