Modus Tollendo Tollens [MTT]

Modus Tollendo Tollens

(eliminación de la implicación)

X->Y

¬Y

____

¬X