[Etusivu]
[Sisältö]
[Luku
I
II
III
IV
V
VI]
[Hakemisto]
[Ylempi pääsivu]
[Edellinen sivu]
[Seuraava sivu]
• Kun kyseessä on olemassaoloväite, keksi jokin konkreettinen luku, joka toteuttaa loput ehdot.
• Kaikki-väitteessä taas muuttuja on pidettävä vapaana, ilman mitään valintaa.
• Muodosta negaatio muodollisesti asteittain: ensin yksi kvanttori muutetaan toiseksi ja koko sen jälkeinen osa lauseesta varustetaan negaatiolla. Sen jälkeen jäljelle jäänyt negaatio muutetaan samalla periaatteella.
• Kannattaa muodostaa vastaväite sanallisesti: lue mielessäsi ensin annettu ´pikakirjoitus´ auki ja muodosta maalaislogiikalla tai kadunmiehen logiikalla sen vastaväite.
• Huomaa, että jos alkuperäinen lause on ollut mielestäsi epätosi, sen vastaväitteen pitää olla tosi. Tarkista tämä!
[Opiskelutehtävä 5] [Tehtävän 5 ratkaisu]