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[?], Southwold Beccles Museum[?] Ipswich Museum[?] Sue Ryder Foundation Museum[?], Cavendish William Clowes Printing Museum[?], ...