Tehtävä 1.4. Seuraavissa väitteissä kaikki muuttujat voivat olla nollasta eroavia kokonaislukuja. Määrää kunkin väitelauseen totuusarvo. Jos se on mielestäsi epätosi, niin muodosta myös lauseen negaatio.

a) ,

b) ,

c) .

Vinkkejä

• Kun kyseessä on olemassaoloväite, niin pyri keksimään jokin konkreettinen luku, joka toteuttaa loput ehdot.

• Kaikki-väitteessä taas muuttuja on pidettävä vapaana, ilman mitään valintaa.

• Muodollisesti muodosta negaatio asteittain: ensin yksi kvanttori muutetaan toiseksi ja koko sen jälkeinen 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 maalais- tai kaupunkijärjellä sen vastaväite.

• Huomaa, että jos alkuperäinen lause on ollut mielestäsi epätosi, niin sen vastaväitteen pitää olla tosi. Tarkista tämä!

[Opiskelutehtäviä 1] [Ratkaisu 1.4]