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 Dennis Gabor Dennis Gabor (Gábor Dénes) (1900-1979) was a Hungarian physicist. He invented holography in 1947, ...