«Modus tollendo tollens»: berrikuspenen arteko aldeak

ez dago edizio laburpenik
Era berean, ''modus ponens''-en erabilera bakoitza bihurtu daiteke ''modus tollendo tollens''-en eta transposizioen erabileran.
 
== Egia-taula bidezko justifikazioa ==
''Modus tollendo tollens''-aren baliozkotasuna argi froga daiteke egia-taula baten bidez.
 
{| class="wikitable" style="margin: 0 auto; text-align:center; width:45%"
|-
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p → q
|-
| E || E || E
|-
| E || F || F
|-
|F|| E || E
|-
| F || F || E
|}
 
''Modus tollendo tollens'' kasuetan premisa gisa onartzen ditugu p → q egiazkoa dela eta q faltsua dela. Taulako lerro bakarrak (laugarrenak) betetzen ditu egiazko bi baldintza horiek. Lerro horretan, p faltsua da. Beraz, p → q egiazkoa den eta q faltsua den kasu guztietan, p-k ere faltsua izan behar du.
Hemen jarri egi tabla
 
 
 
 
== Proba formala ==
23

edits