«Modus tollendo tollens»: berrikuspenen arteko aldeak

ez dago edizio laburpenik
 
== Modus ponens-ekin erlazioa ==
''Modus tollendo tollens''-en edozein erabilpenaerabilpen bihur dezakegu ''modus ponens'' eta inplikazio materiala den premisaren transposizioaren erabilpenaerabilpen. Adibidez:
:Baldin P, orduan Q(premisa - inplikazio materiala)
:Baldin ez Q, orduan ez P (deribatua [[transposición (lógica)|transposizioaren]] bitartez)
 
Era berean, ''modus ponens''-en erabilera bakoitza bihurtu daiteke ''modus tollendo tollens''-en eta transposizioen erabileran.
 
 
 
Hemen jarri egi tabla
 
 
 
 
== Proba formala ==
 
=== Silogismo disjuntibo bidez ===
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ ''' '''
|- style="background:paleturquoise"
! style="width:5%" | ''Urratsa''
! style="width:15%" | ''Proposizioa''
! style="width:25%" | ''Deribatua''
|-
| 1 || <math>P\rightarrow Q</math> || Premisa
|-
| 2 || <math>\neg Q</math> || Premisa
|-
| 3 || <math>\neg P\or Q</math> || [[Implicación material (regla de inferencia)|Inplikazio materiala]] (1)
|-
| 4 || <math>\neg P</math> || [[Modus tollendo ponens|Silogismo disjuntiboa]] (2,3)
|}
 
===''reductio ad absurdum'' bidez===
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ ''' '''
|- style="background:paleturquoise"
! style="width:5%" | ''Urratsa''
! style="width:15%" | ''Proposizioa''
! style="width:25%" | ''Deribatua''
|-
| 1 || <math>P\rightarrow Q</math> || Premisa
|-
| 2 || <math>\neg Q</math> || Premisa
|-
| 3 || <math>P</math> || Onarpena
|-
| 4 || <math>Q</math> || [[Modus ponendo ponens|Modus ponens]] (1,3)
|-
| 5 || <math>Q \and \neg Q</math> || [[Konjuntzioa sartzea]] (2,4)
|-
| 6 || <math>\neg P</math> || ''[[Reductio ad absurdum]]'' (3,5)
|}
 
== Erreferentziak ==
12

edits