formule u kojima se kvantori pojavljuju sa još nekom promenljivom.