Modus Tollendo Tollens

Modus Tollendo Tollens (MTT). (Modo de quitar quitando) Si tenemos una fórmula condicional y en otra premisa el consecuente del mismo negando al antecedente de la primera fórmula, podemos negar el consecuente de esa fórmula.

1) (p --> q)                          1) -p --> q

2) -q                                 2) -q

\\ -p                                                        \\ p

1) (p v q) --> (r <--> -s)            1) p --> -q              

2) -(r <--> -s)                       2) q

\\\  -(p v q)                         \\ -p