Kvantifikatori: komutativnost x + y = y + x

Analiziramo datu formulu. Ona predstavlja tvrđenje da za svaka dva elementa $x$ i $y$ iz skupa prirodnih brojeva važi jednakost:

x + y = y + x

Ova jednakost predstavlja osnovno svojstvo operacije sabiranja koje se naziva komutativnost (zakon zamene mesta sabiraka).

Poznato je da u skupu prirodnih brojeva $\mathbb{N}$ uvek važi komutativnost sabiranja, odnosno zbir se ne menja ako sabirci zamene svoja mesta.

Na osnovu toga, zaključujemo da je dato tvrđenje tačno (istinito) za sve prirodne brojeve.

\tau((\forall x)(\forall y)(x + y = y + x)) = \top

28.g