Postoji prioritet veznika pa zagrade mogu da se izostave. Ali ne preporučujem, zbunićete se.
∀x.( ( (f(x) < 3) ∧ (x = 5) ) ⇒ (∃y.( g(y)=7 ) ) )
može da se piše skraćeno ovako:
∀x. f(x)<3 ∧ x=5 ⇒ ∃y.g(y)=x
Uzastopni kvantifikatori se grupišu.
∀x.∀y.∀z.ρ(f(x,y), z)
može da se zapiše skraćeno ovako:
∀xyz.ρ(f(x,y), z)