Modus tollendo tollens: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
No edit summary |
No edit summary |
||
85. lerroa:
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.
== Proba formala ==
| |||