Modus tolendo tollens

Keywords: Modus tolendo tollens, Falsacionismo, Latín, Modus ponens, Operador lógico, Teoría de conjuntos

Modus tollens (Latín: modo que niega) es el nombre formal para la prueba indirecta.

Si P, entonces Q.

Q es falso.

Por lo tanto, P es falso.

Ejemplo:

Si llueve voy al cine

No fui al cine

Por lo tanto, no llovió

En una notación diferente utilizando operadores lógicos:

$p \rightarrow q$

$\not\vdash q,$

$\not\vdash p$

donde $\vdash$ representa la aserción logica.

Expresado en conjuntos:

$P\subseteq Q$

$x\not\in Q$

∴ $x\not\in P$

("P es a subconjunto de Q. x no pertenece a Q. Por lo tanto, x no pertenece a P.")