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

... Museum[?] (Replica of the Bayeux Tapestry) Buckinghamshire Bletchley Park Museum[?] (Enigma machine) Cambridgeshire Fitzwilliam Museum[?], ...