Tehtävä 1.1. Osoita totuustaulukon avulla, että lauseen vastaväite on .
Osoita sama käyttäen kurssikirjan Esimerkkiä 2.2 ja Lausetta 2.3 hyväksi.

Vinkkejä

• Ideana on osoittaa sama asia kahdella tavalla, totuustaulukolla ja käyttäen todettuja tuloksia.

• Muodosta erikseen ko. lauseiden totuustaulukot ja vertaa niitä keskenään.

• Huomaa implikaatiolauseen totuusarvojen muodostuminen silloin, kun vasemmanpuoleinen atomilause on epätosi!

• Lauseessa 2.3 on joitain ekvivalensseja. Samoin Esimerkissä 2.2 on. Mikä?

• Pyri ensin implikaationuolesta eroon ja käytä sitten sopivia edellä viitattuja kehittelysääntöjä.

[Opiskelutehtäviä 1] [Ratkaisu 1.1]