Modus tollendo ponens
De Wikipedia, la enciclopedia libre
Modus tollendo ponens (Latín: modo que negando afirma) es una regla de inferencia simple:
- Es verdad P o Q o los dos.
- Es falso P.
- Entonces, Q es verdadero.
Expresado en la notación de operadores lógicos:
- P v Q
donde representa la aserción lógica.