\begin{definition}[Definition:Quantified Statement]
A '''quantified statement''' is a simple statement in predicate logic whose subject is qualified by either the universal quantifier or the existential quantifier.
That is, it is either a universal statement or an existential statement.
Category:Definitions/Predicate Logic
\end{definition}