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

631

Äänestä

    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ä.

    Takaisin ylös

    Luetuimmat keskustelut

    1. Mitä elukkaa kaivattusi

      muistuttaa? Vastaan ite myöhemmin. Miehelt.
      Ikävä
      84
      4562

    2. Haleja ja pusuja

      Päivääsi kulta 🤗🤗💋❤️❤️❤️ kaipaan sinua Tänäänkin.. Miksikäs se tästä muuttuisi kun näin kauan jatkunut 🥺
      Ikävä
      85
      4411

    3. Onko mukava nähdä minua töissä?

      Onko mukava nähdä minua töissä vai ei? Itse ainakin haluan nähdä sinut 🤭
      Työpaikkaromanssit
      43
      3759

    4. Oi mun haniseni

      Mul on ihan törkee ikävä sua. En jaksais tätä enää. Oon odottanut niin kauan, mutta vielä pitää sitä tehdä. Tekis mieli
      Ikävä
      16
      3483

    5. Hei rakas sinä

      Vaikka käyn täällä vähemmän, niin ikäväni on pahempaa. Pelkään että olen ihan hukassa😔 mitä sinä ajattelet? naiselle
      Tunteet
      40
      2977

    6. Kyllä mulla on sua ikävä

      Teen muita juttuja, mutta kannan sua mielessäni mukana. Oot ensimmäinen ajatus aamulla ja viimeinen illalla. Välissä läm
      Ikävä
      10
      2764

    7. En kirjoita sulle tänne

      Enään nainen. Olen kyllä kiltisti enkä ala mihinkään kuin tosirakkaudesta. Kanssasi sitten jos se on mahdollista ja pidä
      Ikävä
      21
      2701

    8. IS:n tiedot: Toni Immonen irtisanottiin MTV:ltä Toni Immonen työskenteli pitkään MTV:llä.

      IS:n tiedot: Toni Immonen irtisanottiin MTV:ltä Toni Immonen työskenteli pitkään MTV:llä. IS uutisoi torstaina Toni Imm
      Maailman menoa
      39
      2083

    9. Nainen, tunnusta että olet varattu ja tyytymätön suhteeseesi

      Ja siksi pyörit täällä ikävä palstalla etsien sitä jotain jota elämääsi kaipaat. ehkäpä olet hieman surullinen, koska ta
      Ikävä
      158
      1748

    10. Savon murteella viäntäminen asiakaspalvelussa?

      Olin äsken tekemisissä puhelimitse rahoitusalan firman asiakasneuvonnassa. Tyyppi väänsi leveää savoa oikein perusteelli
      Maailman menoa
      103
      1291
    Aihe
    TietosuojaselosteKäyttöehdotEvästeasetuksetSäännöt