Accions

Modus tollendo ponens

De Wikisofia

La revisió el 11:55, 22 ago 2017 per Jaumeortola (discussió | contribucions) (bot: -veure exemple +veg. exemple)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

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.

5020.png

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]