Modus ponendo tollens
De Wikipedia, la enciclopedia libre
Modus ponendo tollens (Latín: modo que afirmando niega) es una regla de inferencia simple:
- Sólo es verdad P o Q.
- Es verdad P.
- Entonces Q es falso.
Expresado en la notación de operadores lógicos:
- p w q
donde 
representa la aserción lógica.
