(idea) by Uberfetus Sat Nov 11 2000 at 9:07:16
The universal quantifier, also known as "for all." The propositionx P(x) translates into English as "for all x P(x)" or "for every x P(x)".

It means that P(x) is true for all values of x in the universe of discourse (the domain under consideration). Used extensively in logic.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.