Portada	Favoritos
Lista Articulos: [0-C] [C-I] [I-P] [P-Z] \| Todas las categorías \| Página aleatoria \| Lo que enlaza aquí

Modus tolendo tollens

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.")

Ver también