Promenljiva koja je pod dejstvom kvantifikatora je vezana. Inače je slobodna.
∀x.f(x,y)>0 x je vezana promenljiva, y je slobodna promenljiva.
p(x,y) ⇒ (∀x.q(x)) prvo pojavljivanje x i y su slobodne promenljive, drugo x je vezano
∃x. p(x) ∧ (∀x. q(x) ) oba pojavljivanja x su vezana, ali je x u p(x) pod egistencijalnim a u q(x) pod univerzalnim kvantifikatorom
Dve definicije
Formula je rečenica ako i samo ako nema slobodnih promenljivih.
Formula je bazna ako i samo ako nema promenljivih.