Accions

Modus tollendo ponens

De Wikisofia

La revisió el 23:20, 20 març 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "argumento" a "argument")

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.

veure 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]