Kvantifikatori rečima: postoji x za svako y, x + y = 0

Prvo identifikujemo kvantifikatore i njihovo značenje u matematičkoj logici.

\begin{aligned} &\exists \text{ - egzistencijalni kvantifikator (postoji)} \\ &\forall \text{ - univerzalni kvantifikator (za svako)} \end{aligned}

Analiziramo redosled kvantifikatora i promenljive na koje se odnose.

(\exists x) \implies \text{Postoji bar jedan broj } x

Zatim dodajemo drugi deo iskaza koji se odnosi na promenljivu $y .$

(\forall y) \implies \text{tako da za svaki broj } y

Na kraju dodajemo samu relaciju koja povezuje ove promenljive.

x + y = 0 \implies \text{važi da je njihov zbir jednak nuli.}

Spajanjem svih delova dobijamo konačan zapis rečima.

\text{Postoji broj } x \text{ takav da je za svaki broj } y \text{ ispunjeno } x + y = 0.

24.đ