Quantified formula ($\forall x\theta ,\exists x\theta$)

A quantified formula has a quantifier as its outermost formation: it is of the form $\forall x\theta$ or $\exists x\theta$. The quantifier binds the indicated variable occurrences according to the formation rules.