Modus tollendo ponens

Expressió llatina que significa «manera que afirma negant», amb el qual es caracteritza el tipus d'argument que té la següent forma: «P o Q; no P, per tant Q», on la disjunció es considera inclusiva.

veg. exemple ↓

Canta o balla

No canta

______________

Balla

És el sil·logisme disjuntiu de la lògica d'enunciats.

No ha de confondre's amb el modus ponens, ni amb el modus ponendo tollens.

En lògica d'enunciats, li correspon la llei lògica

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