The
existential quantifier, also known as "
there exists" and "
for some." The
proposition ∃
x P(
x) translates into
English as "for some
x P(
x)", "there is an
x such that
P(
x)", or "there is at least one
x such that
P(
x)".
It means that P(x) is true for at least one element x in the universe of discourse (the domain under consideration). Used extensively in logic.