3100. Kvantifikatori (kvantori)

TEKST ZADATKA

Koristeći logičke simbole zapisati sledeće rečenice: postoji broj koji je veći od 4;

REŠENJE ZADATKA

Deo rečenice "postoji broj" zapisujemo pomoću egzistencijalnog kvantifikatora (kvantifikatora postojanja) $\exists$ i promenljive $x .$

\exists x

Deo rečenice "koji je veći od 4" predstavlja uslov koji taj broj mora da ispunjava, što zapisujemo kao matematičku nejednakost.

x > 4

Spajanjem ova dva dela dobijamo konačan logički zapis date rečenice.

(\exists x)(x > 4)

26.b