Kvantifikatori rečima: za svako x i y, xy = yx

Prvo analiziramo kvantifikatore u formuli. Simbol $\forall$ predstavlja univerzalni kvantifikator koji se čita kao 'za svako' ili 'za svaki'.

\forall \text{ - univerzalni kvantifikator}

Zatim posmatramo promenljive na koje se kvantifikatori odnose. U ovom slučaju, to su promenljive $x$ i $y .$ Izraz $(\forall x)(\forall y)$ znači da tvrđenje koje sledi važi za bilo koja dva elementa.

(\forall x)(\forall y) \implies \text{Za svako } x \text{ i za svako } y

Poslednji deo formule je jednakost $xy = yx .$ Ovaj izraz predstavlja komutativno svojstvo operacije množenja, gde redosled činilaca ne menja rezultat.

xy = yx

Spajanjem svih delova u jednu rečenicu, dobijamo konačan zapis formule rečima.

\text{Za svako } x \text{ i svako } y \text{ važi da je } xy = yx.

Započni učenje

Online časovi

24.d

Beleške