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
650
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
Vassarina hymyilyttää vaurastuminen persujen kustannuksella
Olen sijottanut määrätietoisesti osan Kelan tuista pörssiosakkeisiin, ja salkku on paisunut jo toiselle sadalle tuhanne202257Riikka runnoo: Elisalta potkut 400:lle
Erinomaisen hallitusohjelman tavoite 100 000 työllistä lisää yksityisellä sektorilla on kohta saavutettu. Toivotaan toiv282098Niinistö neliraajajarrutteli Natoon liittymistä vielä sodan alettua
Myöntää nyt itsekin, mikä jo aikaisemmin tiedettiin. Marin vei Suomen ja Ruotsin Natoon. "”Myönnän auliisti jarruttelle1941647Pääseekö kuka tahansa hoitaja katselemaan kenen tahansa ihmisen terveystietoja?
"Meeri selaili puhelinta uteliaisuuttaan ja katuu nyt – Moni hoitaja on tehnyt saman rikoksen Tuttujen ihmisten asiat k521629Kokoomus on Suomen kommunistisin puolue
"Hallituksessa on erimielisyyttä siitä, kuinka suuri osa veronkiristyksestä hyvitetään datakeskuksille uudella erillisel791594- 1131450
Jalankulkija kuoli. Poliisi etsii mustaa BMW Coupe -autoa, jossa on punertavat vanteet.
Jalankulkija kuoli jäätyään auton alle Joensuussa – kuljettaja pakeni, poliisi pyytää havaintoja https://www.mtvuutiset.521412- 831139
Martina haluaa tasoisensa miehen
Seiskassa juttu minkälaisen miehen Martina haluaa. Kumppanin pitää tuoda hänen herkkyytensä ja vahvuutensa esiin sekä ol2401007Voi ei! Katja Ståhl joutui sairaalaan - Syynä tämä vitsaus - Koskettava päivitys sairaalasängystä
Pikaista paranemista, Katja! Katja Ståhl on kertonut somessa joutuneensa sisään sairaalaan. Lue lisää: https://www.suom21895