Encyclopedia > Universal quantifier

Article Content

Universal quantifier

The universal quantifier is the symbol ∀ in predicate calculus. It roughly represents the phrase "for all". For example

∀ x>1, x²>x

means "for all x greater than one, x²>x".

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

... - Wikipedia <<Up Contents Mayenne Mayenne is a French département, number 53, named after the Mayenne River[?]. Préfecture (capital): ...