[Etusivu]
[Sisältö]
[Luku
I
II
III
IV
V
VI]
[Hakemisto]
[Ylempi pääsivu]
[Edellinen sivu]
[Seuraava sivu]
• Ideana on osoittaa sama asia kahdella tavalla, toisaalta totuustaulukolla ja toisaalta käyttäen todettuja tuloksia.
• Muodosta erikseen ko. lauseiden totuustaulukot ja vertaa niitä keskenään.
• Huomaa implikaatiolauseen totuusarvojen muodostuminen silloin, kun vasen lause on epätosi!
• Lauseessa 1.2.3 on joitakin ekvivalensseja. Samoin esimerkissä 1.2.2 on eräs. Mikä?
• Pyri ensin implikaationuolesta eroon, ja käytä sitten muita kehittelysääntöjä.
[Opiskelutehtävä 2] [Tehtävän 2 ratkaisu]