TEHTÄVÄNANTO: "Annetaan p:lle tulkinta sataa ja q:lle tulkinta tuulee . Kirjoita sopivia kon- nektiiveja käyttämällä propositiologiikan kaavat, joiden tulkinta on Jos sataa, niin tuulee ja Jos ei sada, niin ei tuule . Selvitä totuustaulukon avulla voidaanko ensimmäinen kaava premissiksi asettamalla päätellä toinen kaava."
Mielellään otan korjauksia ja loogisen ajattelun kehittäviä ehdotuksia vastaan ko. tehtävään liittyen :) Tässä oma hahmotelmani:
Jos sataa, niin tuulee: p ^ q ja p -> q
Jos ei sada niin ei tuule: ¬p ^ ¬q
Ensimmäinen kaava premissiksi asettamalla EI voida mielestäni päätellä toista kaavaa.
Mielellään otan korjauksia ja loogisen ajattelun kehittäviä ehdotuksia vastaan ko. tehtävään liittyen :) Tässä oma hahmotelmani:
Jos sataa, niin tuulee: p ^ q ja p -> q
Jos ei sada niin ei tuule: ¬p ^ ¬q
Ensimmäinen kaava premissiksi asettamalla EI voida mielestäni päätellä toista kaavaa.
Vastaukset 2
Vanhimmat
-> implikoi, V = tai,& = ja , <-> ekvivalenssi, ~= ei
Jos sataa niin tuulee:
p -> q.Tämä on ekvivalentti lausekkeen ~p V q kanssa. Se on myös ekvivalentti lausekkeen ~q -> ~p kanssa, sillä tämähän on sama kuin ~(~q) V ~p joka on sama kuin q V ~p eli ~p V q.
Jos ei sada niin ei tuule:
~p -> ~q. Tämä on sama kuin pV ~q ja sama kuin ~(¨~ q) -> ~(~p) joka on siis ekvivalentti lausekkeen q -> p kanssa sillä tämä on sama kuin ~q V p joka on sama kuin p V ~q .
Kysytyn totuustaulun saat laitella itse.
Ohman
Lisään vielä tämän:
p -> q on myös ekvivalentti lausekkeen ~(p & (~q)) kanssa, sillä
(p -> q) <-> (~p V q) <-> (~(p & (~q)))
Ohman