Voisiko joku viisaampi auttaa luonnollisessa päättelyssä?
[] = oletus
! = negaatio
KON = konjunktio
DIS = disjunktio
-> = implikaatio
= ekvivalenssi
Kirjan esimerkki.
Pitäisi päätellä !(A -> B) -> A
Alla kirjan ratkaisu.
1. [A] [!A] | Tuodaan konjunktio
___________
2. A KON !A | Tuodaan negaatio
_________
3. !!B | Eliminoidaan negaatio
_____
4. B | Tuodaan implikaatio oletukseen [A]
____
5. A -> B [!(A -> B)] | Tuodaan konjunktio
___________________
6. (A -> B) KON !(A -> B) | Tuodaan negaatio oletukseen [!A]
__________________
7. !!A | Eliminoidaan negaatio
____
8. A | Tuodaan implikaatio oletukseen [!(A -> B)]
____
9. !(A -> B) -> A
Pysty viivan oikealla puolella ovat selitykset.
Kysymyksiä:
1. Mistä nuo kolme oletusta tulevat, onko ne vain keksitty ja voisiko tehtävän ratkaista muilla oletuksilla?
2. Kuinka oletusten A ja A:n negaation ristiriidalla saadaan tupla negaatio B (rivi 2)?
3. Onko näihin tehtäviin jotain oikeaa lähestymistapaa vai kokeilenko päättelysääntöjen avulla kaikki mahdollisia vaihtoehtoja?
Toivottavasti kuvasta saa selkoa ja saisin vastauksen, kun ehdinkin jo reputtaa viime kurssikokeen tämän takia :).
[] = oletus
! = negaatio
KON = konjunktio
DIS = disjunktio
-> = implikaatio
= ekvivalenssi
Kirjan esimerkki.
Pitäisi päätellä !(A -> B) -> A
Alla kirjan ratkaisu.
1. [A] [!A] | Tuodaan konjunktio
___________
2. A KON !A | Tuodaan negaatio
_________
3. !!B | Eliminoidaan negaatio
_____
4. B | Tuodaan implikaatio oletukseen [A]
____
5. A -> B [!(A -> B)] | Tuodaan konjunktio
___________________
6. (A -> B) KON !(A -> B) | Tuodaan negaatio oletukseen [!A]
__________________
7. !!A | Eliminoidaan negaatio
____
8. A | Tuodaan implikaatio oletukseen [!(A -> B)]
____
9. !(A -> B) -> A
Pysty viivan oikealla puolella ovat selitykset.
Kysymyksiä:
1. Mistä nuo kolme oletusta tulevat, onko ne vain keksitty ja voisiko tehtävän ratkaista muilla oletuksilla?
2. Kuinka oletusten A ja A:n negaation ristiriidalla saadaan tupla negaatio B (rivi 2)?
3. Onko näihin tehtäviin jotain oikeaa lähestymistapaa vai kokeilenko päättelysääntöjen avulla kaikki mahdollisia vaihtoehtoja?
Toivottavasti kuvasta saa selkoa ja saisin vastauksen, kun ehdinkin jo reputtaa viime kurssikokeen tämän takia :).
Vastaukset
Vanhimmat
Ei vielä vastauksia
Aloittaja odottaa vastauksia. Kerro oma näkemyksesi ensimmäisenä.