Modus tollendo ponens
De Wikipedia, la enciclopedia libre
Modus tollendo ponens (Latín: modo que negando afirma) es que siempre que niego uno de los dos elementos afirmo el otro
- Es verdad P o Q o los dos.
- Es falso P.
- Entonces Q es cierto.
Expresado en la notación de operadores lógicos:
- P v Q
donde 
representa la aserción lógica.
