Mostra la font per a Modus tollendo ponens

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

<div class='mw-collapsible mw-collapsed'>
<center>'''veg. exemple ↓'''</center>
<div class="mw-collapsible-content">
:Canta o balla
:No canta
:______________
:Balla
</div></div>

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

<center>[[File:5020.png|400px]]</center>

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

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

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

{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}