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

645

Ää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. Ihanasti alkoi aamu: SDP:n kaula kokoomukseen jo 6,9 %-yks

      Lindtmanin I hallitus on tukevasti jytkyttämässä laittamaan Suomi kuntoon Orvon täystuhohallituksen jäljiltä, jonka kann
      Maailman menoa
      256
      1862

    2. Olen niin kesken

      Omien asioiden suhteen etkä voi odottaa loputtomiin. Mun on muutenkin niin vaikea suhun luottaa vaikka joku ihme syvyys
      Ikävä
      15
      1388

    3. Tietääkö joku ylläpidosta?

      Miten näillä palstoilla tomii tuo ylläpito, onko sitä yli päätään olemassa vai ovatko huhut totta että on palstan kirjoi
      Sinkut
      210
      1269

    4. Auttaja paikalla. Kerro huolesi. (Osa 2)

      Voin auttaa sinua näkemään tilanteesi uudesta näkökulmasta. Voin antaa lohtua, toivoa ja rohkeutta. Olen elänyt maan pä
      Ikävä
      185
      1125

    5. Minkä ikäinen

      Minkä ikäinen on kaipauksesi kohde?
      Ikävä
      65
      933

    6. Nainen olet ensimmäinen tarpeeksi vahva

      joka kestää tämän kokonaisuuden, minut. Persoonani, tunteeni, kipuni, pelkoni. Olen aina pidätellyt itseäni ja antanut v
      Ikävä
      60
      923

    7. TTK:sta tippunut Sara Siipola rehellisenä Jurza-open kanssa: "Että jaa, siinäkö..."

      Tippuiko oikea TTK-pari ensimmäisenä? Joka tapauksessa iso kiitos tansseistanne Sara ja Jurza Tanssii Tähtien Kanssa -p
      Tanssii tähtien kanssa
      18
      894

    8. Tunnisteita kaipaajille

      Onko jokin juttu mistä sun kaivattu tietää et viesti ois hälle? ☎️📝
      Ikävä
      51
      846

    9. Martina ei mennyt naimisiin

      IS 17.9: Martinan häät peruuntui, tajusi, ettei ollut oikea aika. Rahat meni hevosiin. On edelleen parisuhteessa Yhdysva
      Kotimaiset julkkisjuorut
      126
      810

    10. Mä tuun aina rakastamaan sua J

      Mutta en pysty kertomaan, että mikä mulla on hätänä. Mä en kertakaikkiaan pysty. Joskus naureskelit muiden ihmisten vai
      Ikävä
      61
      803
    Aihe
    TietosuojaselosteKäyttöehdotEvästeasetuksetSäännöt