3093.

26.a

TEKST ZADATKA

Koristeći logičke simbole zapisati sledeću rečenicu: kvadrat svakog celog broja je nenegativan broj.


REŠENJE ZADATKA

Analiziramo deo po deo rečenice. Reč svakog \text{svakog} ukazuje na upotrebu univerzalnog kvantifikatora . \forall .

Deo celog broja \text{celog broja} označava da posmatrana promenljiva (neka to bude x x ) pripada skupu celih brojeva Z. \mathbb{Z} .

xZx \in \mathbb{Z}

Deo kvadrat... je nenegativan broj \text{kvadrat... je nenegativan broj} zapisujemo matematički kao nejednakost, gde nenegativan broj znači da je vrednost veća ili jednaka nuli.

x20x^2 \ge 0

Kombinovanjem ovih elemenata formiramo konačan logički iskaz.

(xZ)(x20)(\forall x \in \mathbb{Z})(x^2 \ge 0)