El Modus Tollendo Ponens, que significa literalmente “modo que quitando (negando), pone (afirma)”, se conoce también como Silogismo disyuntivo. 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: