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

A

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}$

Y aún otra manera es a través de la notación del cálculo de secuentes:

$(A \nleftrightarrow B), A \vdash \neg B$

Véase también

• Modus ponendo ponens
• Silogismo disyuntivo