The existential quantifier, also known as "there exists" and "for some." The propositionx 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.

Log in or register to write something here or to contact authors.