Quantified formula
= Quantified formula
{title2=$\forall x\theta,\quad\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.