Kwantyfikatory ???: Zapisać za pomocą kwantyfikatorów i znaków matematycznych. każda liczba całkowita przy dzieleniu przez 2 daje resztę 0 lub 1.

Ann: ∀x∊Z, k∊Z ∃r∊{0,1} : x=2k+r

Mati:

	n		n
⋀		= n ⋁		= n +1
	2		2

n∊C

Mati: pierwszy znaczek to ∧ (dla każdego) a nie ⋀ (i)

Ann: albo ∀x∊Z ∃r∊{0,1} x mod2=r

???: Metoda Mati jest lepsza