<<Up Contents
The universal quantifier is the symbol ∀ in predicate calculus. It roughly represents the phrase "for all". For example ∀ x>1, x2>x means "for all x greater than one, x2>x". See Universal quantification for details.
See Universal quantification for details.