Modus tollens

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

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.