Apua logiikkaan

päättely takkuilee

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]** |KON T
____________
2. A KON !A |! T
__________
3. !!B | ! E
_____
4. B | -> T, *
____
5. A -> B [!(A -> B)]*** | KON T
______________________
6. (A -> B) KON !(A -> B) | ! T, **
__________________
7. !!A | ! E
____
8. A | -> T, ***
____
9. !(A -> B) -> A

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?

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 :).

4

603

    Vastaukset

    Anonyymi (Kirjaudu / Rekisteröidy)
    5000
    • keksitty.

      1. Mistä nuo kolme oletusta tulevat, onko ne vain keksitty ja voisiko tehtävän ratkaista muilla oletuksilla? Kyllä voi ratkaista!

      2. Kuinka oletusten A ja A:n negaation ristiriidalla saadaan tupla negaatio B? Ei mitenkään, koska se on mahdotonta!

      3. Onko näihin tehtäviin jotain oikeaa lähestymistapaa vai kokeilenko päättelysääntöjen avulla kaikki mahdollisia vaihtoehtoja? Joo, kokeile kaikkia mahdollisuuksia!

      Toivottavasti kuvasta saa selkoa ja saisin vastauksen, kun ehdinkin jo reputtaa viime kurssikokeen tämän takia :). Mikä kuva? Ei ihmekkään, että reputtelet. Unohda koko homma ja mene jätteeksi kaatopaikalle!

      • päättely takkuilee

        xD ainakin sain yhden vastauksen, on sekin alku. Ehkä seuraavaksi saan jo apua tehtävään, mutta jos olit edes puoli tosissasi niin voisitko avata vähän vastauksiasi.


    • Liinuli -86

      Olet nähtävästi lukenut Hannele Salmisen ja Jouko Väänäsen kirjaa "Johdatus logiikkaan"? Sieltä löysin ainakin saman tehtävän ja mielestäni se oli ihan hyvin siellä selitetty. Luonnolliseen päättelyyn sisälle pääseminen voi tosin olla aluksi aika hankalaa ja juuri tuollainen oletusten näennäinen "keksiminen" vaikutti minustakin aluksi oudolta. Luepa sieltä kirjasta se edellinen aukeama ja erityisesti esimerkki 51:n jälkeinen pätkä siitä, miten on mahdollista päätellä jotain ilman annettuja oletuksia. Toivottavasti se selventää vähän.

      Tuossa esimerkissä 55, josta siis viestissäsi oli kyse, on nimenomaan johdettu A ja A:n negaatio B:n negaatiosta, mutta sitä ei ole merkitty. Sitten (A ^ neg A) johtuu B: negaation negaatioksi eli B:ksi.

      • päättely vähän parempi

        Kiitos vastauksesta.

        Olin jo ehtinyt ottaa kokeen joitakin päiviä ennen viestiäsi, mutta pääsin sen läpi.
        Tein vain paljon juuri kyseisen kirjan Johdatus logiikkaan harjoituksia, ja huomasin vähitellen päässeeni asian jyvälle, vaikken tosi vieläkään päättelyä täysin hallitse.


    Ketjusta on poistettu 0 sääntöjenvastaista viestiä.

    Luetuimmat keskustelut

    1. Kiitos nainen

      Kuitenkin. Olet sitten ajanmerkkinä. Tuskin enää sinua näen ja huomasitko, että olit siinä viimeisen kerran samassa paik
      Tunteet
      11
      3545
    2. MTV: Kirkossa saarnan pitänyt Jyrki 69 koki yllätyksen - Paljastaa: "Se mikä oli hyvin erikoista..."

      Jyrki Linnankivi alias Jyrki 69 on rokkari ja kirkonmies. Teologiaa opiskeleva Linnankivi piti elämänsä ensimmäisen saar
      Maailman menoa
      69
      1886
    3. Hyväksytkö sinä sen että päättäjämme ei rakenna rauhaa Venäjän kanssa?

      Vielä kun sota ehkäpä voitaisiin välttää rauhanponnisteluilla niin millä verukkeella voidaan sanoa että on hyvä asia kun
      Maailman menoa
      542
      1578
    4. Kirjoita yhdellä sanalla

      Joku meihin liittyvä asia, mitä muut ei tiedä. Sen jälkeen laitan sulle wappiviestin
      Ikävä
      81
      1204
    5. Olet hyvin erilainen

      Herkempi, ajattelevaisempi. Toisaalta taas hyvin varma siitä mitä haluat. Et anna yhtään periksi. Osaat myös ilkeillä ja
      Ikävä
      61
      1002
    6. Yksi syy nainen miksi sinusta pidän

      on se, että tykkään luomusta. Olet luonnollinen, ihana ja kaunis. Ja luonne, no, en ole tavannut vielä sellaista, joka s
      Ikävä
      33
      968
    7. Hyödyt Suomelle???

      Haluaisin asettaa teille palstalla kirjoittelevat Venäjää puolustelevat ja muut "asiantuntijat" yhden kysymyksen pohditt
      Maailman menoa
      214
      888
    8. Hyvää Joulua mies!

      Toivottavasti kaikki on hyvin siellä. Anteeksi että olen hieman lisännyt taakkaasi ymmärtämättä kunnolla tilannettasi, o
      Ikävä
      60
      833
    9. Hyvää talvipäivänseisausta

      Vuoden lyhyintä päivää. 🌞 Hyvää huomenta. ❄️🎄🌌✨❤️😊
      Ikävä
      171
      824
    10. Paljastavat kuvat Selviytyjät Suomi kulisseista - 1 päivä vs 36 päivää viidakossa - Katso tästä!

      Ohhoh! Yli kuukausi viidakossa voi muuttaa ulkonäköä perusarkeen aika rajusti. Kuka mielestäsi muuttui eniten: Mia Mill
      Suomalaiset julkkikset
      3
      768
    Aihe