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.
No debe confundirse con el modus ponens, ni con el modus ponendo tollens.
En lógica de enunciados, le corresponde la ley lógica