Modus ponendo tollens

En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:

O bien A, o bien B

Por lo tanto, no B

Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:

O bien es de día, o bien es de noche.

Es de día.

Por lo tanto, no es de noche.

Otra manera de presentar el modus ponendo tollens es:

$\begin{array}{r} A \nleftrightarrow B \\ A \\ \hline \neg B \end{array}$

Tomado de:

Unicontaduria2011