3093. Kvantifikatori (kvantori)

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č $\text{svakog}$ ukazuje na upotrebu univerzalnog kvantifikatora $\forall .$

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

x \in \mathbb{Z}

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

x^2 \ge 0

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

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

26.a