Tehtävän 5 ratkaisu

a) Väite on tosi ts. on olemassa nollasta eroavat kokonaisluvut x ja y siten, että niiden tulo on 1: jos nimittäin valitaan esimerkiksi luvut , niin tällöin ja .

b) Kun ehto otetaan huomioon, luetaan väite seuraavasti: "On olemassa sellainen nollasta eroava kokonaisluku x, että kaikilla nollasta eroavilla kokonaisluvuilla y tulo . Väite on ilmeisen epätosi, sillä jotta väite pätisi, olisi jollekin x oltava kaikilla muuttujan y arvoilla eli lausekkeen on oltava vakio, mitä se ei tietenkään ole.

Väitteen negaatio on . Se on tosi, sillä valitsemalla esimerkiksi saadaan , mikä on aina parillinen eikä siten voi olla 1 millään nollasta eroavalla kokonaisluvulla x.

Huomautus. Tässä sama muuttujan y arvo, esim. , kelpaa ehtojen mukaiseksi luvuksi kaikille . Voisi kuitenkin aivan hyvin olla niin, että jokaiselle x olisi oma (mahdollisesti erisuuri) y. Oleellista on vain se, että jokaiselle x on olemassa sopiva y.

c) Väite näyttää taaskin olevan epätosi, osoitetaan se sellaiseksi. Jos väitteen negaatio voidaan osoittaa todeksi, on alkuperäisen väitteen oltava epätosi, sillä väitteellä ja sen negaatiolla ei logiikan sääntöjen mukaan voi olla sama totuusarvo.

1° Väitteen negaatio on .

2° Jos valitaan esimerkiksi niin tällöin kaikilla .

3° Negaatio on tosi ja alkuperäinen väite epätosi.

[Opiskelutehtävä 5] [Vinkki tehtävään 5]

[Ylempi pääsivu] [Edellinen sivu] [Seuraava sivu]