No se ha añadido ninguna twiki todavía.

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.

ver ejemplo ↓
Canta o baila
No canta
______________
Baila

Es el silogismo disyuntivo de la lógica de enunciados.

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

[math][(p \vee q) \wedge ¬q] \rightarrow{p}[/math]