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
[(pq)(¬q)]p
Y sus argumentos correspondientes:
|
|
B
