3086.

27.a

TEKST ZADATKA

Koje od sledećih rečenica su tačne u skupu prirodnih brojeva? (x)(x<5) (\exists x)(x < 5)


REŠENJE ZADATKA

Simbol \exists označava egzistencijalni kvantifikator i čita se "postoji".

Zadata rečenica se može pročitati kao: "Postoji prirodan broj x x takav da je x<5 x < 5 ".

Prirodni brojevi koji su strogo manji od 5 su 1, 2, 3 i 4.

x{1,2,3,4}x \in \{1, 2, 3, 4\}

Pošto postoji bar jedan prirodan broj koji ispunjava ovaj uslov (na primer x=1 x = 1 ), zaključujemo da je data rečenica tačna.