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:
- Silogismo disyuntivo (SD)
-
- A∨B
- ¬B
- A (SD1)
-
- A∨B
- ¬A
- B (SD2)
Referencias al texto: