Modus tollendo ponens
En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento:
- es el caso que A, o es el caso que B
- No A
- Por lo tanto, B
o exclusivo:
- O es el caso que A, o es el caso que B
- No A
- Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podría ser:
- O es de día o es de noche.
- No es de día.
- Por lo tanto, es de noche.
Otra manera de presentar el silogismo disyuntivo utilizando conectivas lógicas es:
o exclusivo
Y aún otra manera es a través de la notación del cálculo de secuentes:
o exclusivo
En lógica proposicional su representación sería la siguiente :
![{\displaystyle [(p\lor q)\wedge \neg p]\supset q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dec66dd6ded266e47e2b9ce833477b5f55f4823a)
y exclusivo:
![{\displaystyle [(p\nleftrightarrow q)\wedge \neg p]\supset q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56609bac38703b0a0038cdb6fb3d9c0ab087a245)