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 :).
Apua logiikkaan
4
657
Vastaukset
- 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
Minkähän takia ns. persuille ei tunnu työ maistuvan?
Vaikuttavat olevan joutoväkeä syystä tai toisesta – työttömiä tai työeläkeloisia. Muiden rahoilla pötköttelevää väkeä,834443Olit ihan
Kiihkona silloin. Sen näki ja lähes tunsi. Ei tainnut olla kaukana et olisit vetänyt lähellesi jos siihen olisi hetki tu243208Miksiköhän vasemmistossa on niin paljon ns. tapatyöttömiä ja muita köyhiä?
Tokihan Minja Koskela oli sitä mieltä, että ei terveenkään ihmisen ole pakko tehdä töitä, sitä neuvoa moni vassu noudatt392874Trump huonommassa kunnossa kuin Usasta virallisesti sanotaan?
"Terveys on vakaa mutta ei normaali".Uskallan melkein sanoa,että Trumpin terveydentilaa kaunistellaan.Myös se että se nu1162665Kyllä on Vasemmistoliitosta Koskelan johdolla tullut todellinen ääripuolue
se on niin tulipunainen kuin olla voi, ja selvästi haluaa jatkuvasti eripuraa, ja repiä kansaa kahtia. Siinä on jo vuod172529Oletko keskustellut kaivatustasi muiden
Kanssa lähiaikoina? Jos, onko keskustelu ollut positiivista tai negatiivista? Vaikuttaako keskustelut mielipiteeseesi ka432457- 132334
Suomen veroaste 5 %-yks liian matala
Palauttamalla kokonaisveroaste 1990-luvun tasolle saadaan hyvinvointivaltion palvelut rahoitettua ilman velan ottoa.1132275MTV: Harvinainen haastattelu! Vappu Pimiä kommentoi vihdoinkin uutta TTK-juontajaa
TTK-juontajaspekuloinnit käyvät edelleen kuumana. Kenet sinä haluaisit uudeksi TTK-juontajaksi? Kommentoi alle! Lue,142045Yleveron tuotto siirrettävä S-ryhmälle
Yleisradio on mukana kansanmurhassa. Tuollaista ei voi tukea verovaroin. S-ryhmä on ainoa selkärankainen iso toimija S281717