The
universal quantifier, also known as "
for all." The
proposition ∀
x 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.