[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]