Modus tollendo ponens
De Wikisofia
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.
Amplia
veg. exemple ↓
É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