Expresión latina que significa «modo que afirma negando», con el que se caracteriza el tipo de argumento que tiene la siguiente forma: «P o Q; no P, por tanto Q», donde la disyunción se considera inclusiva.
- Canta o baila
- No canta
- ______________
- Baila
Es el silogismo disyuntivo de la lógica de enunciados.
![5020.png](/w/images/thumb/9/96/5020.png/400px-5020.png)
No debe confundirse con el modus ponens, ni con el modus ponendo tollens.
En lógica de enunciados, le corresponde la ley lógica