Accions

Diferència entre revisions de la pàgina «Modus tollendo ponens»

De Wikisofia

(Es crea la pàgina amb «{{ConcepteWiki}} Expressió llatina que significa «manera que afirma negant», amb el qual es caracteritza el tipus d'argument que té la següent for...».)
 
m (Text de reemplaçament - "argumento" a "argument")
Línia 1: Línia 1:
 
{{ConcepteWiki}}
 
{{ConcepteWiki}}
Expressió llatina que significa «manera que afirma negant», amb el qual es caracteritza el tipus d'[[argumento |argument]] que té la següent forma: «P o Q; no P, per tant Q», on la [[disjunció|disjunció]] es considera inclusiva.
+
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'>
 
<div class='mw-collapsible mw-collapsed'>

Revisió del 23:20, 20 març 2015

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]