Silogismo disyuntivo

Argumentación cuya premisa mayor está formada por una proposición que expresa una alternancia que no tiene término medio y, por lo tanto si uno de los extremos es verdadero, el otro será falso y viceversa.

Llamado también Modus Tollendo Ponens, que significa literalmente “modo que quitando (negando), pone (afirma)”. El silogismo disyuntivo es una implicación tautológica que afirma que si disponemos de una disyunción y además la negación de uno de sus miembros, entonces podemos inferir como conclusión el otro miembro de la disyunción de marras. El silogismo disyuntivo tiene la siguiente forma lógica:.

[(p|q)&(~p)]→q.

y también.

[(p|q)&(~q)]→p.

Y sus argumentos correspondientes: