3094. Kvantifikatori (kvantori)

TEKST ZADATKA

Koje od sledećih rečenica su tačne u skupu prirodnih brojeva? $(\exists x)(x + 7 = 11)$ ;

REŠENJE ZADATKA

Data rečenica tvrdi da postoji prirodan broj $x$ takav da važi jednakost $x + 7 = 11 .$ Da bismo to proverili, rešavamo jednačinu po $x .$

x + 7 = 11

Prebacujemo broj 7 na desnu stranu jednakosti sa suprotnim znakom.

x = 11 - 7

Računamo razliku na desnoj strani.

x = 4

Sada proveravamo da li dobijeno rešenje pripada skupu prirodnih brojeva ( $\mathbb{N}$ ).

4 \in \mathbb{N}

Pošto smo pronašli prirodan broj za koji važi jednakost, zaključujemo da je data rečenica tačna.

27.g