Quantifier

From CS2800 wiki
(Redirected from Quantified)

For all and there exists are quantifiers: they describe how to interpret a variable in a predicate.