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:
|
|