Existential Quantifier

Definition

The existential quantifier says that at least one object in a domain satisfies a statement.

Plain form:

There exists x such that P(x)

Meaning:

P is true for at least one x in the relevant domain.

Existential quantifier = at least one case.

---

Simple Example

Example:

There exists x in {1, 2, 3} such that x is even.

This is true because:

x = 2

is even.

The statement does not require every value to be even.

It requires at least one.

One satisfying example is enough for an existential statement.

---

Domain Matters

The domain controls where we search.

Example:

There exists x in {1, 3, 5} such that x is even.

This is false.

There is no even number in that domain.

Change the domain:

There exists x in {1, 2, 3} such that x is even.

Now it is true.

Existence depends on the domain being considered.

---

Existential Quantifier vs OR

Over a small finite domain, an existential statement acts like a large OR.

Domain:

{a, b, c}

Statement:

There exists x such that P(x)

Equivalent finite form:

P(a) OR P(b) OR P(c)

At least one case must hold.

Existential quantification generalizes OR across a domain.

---

Existence Does Not Identify Which One

An existential statement says something exists.

It does not always identify the object.

Example:

There exists a number x such that x + 1 = 5.

This says a solution exists.

It does not yet name the solution.

Solving gives:

x = 4

Existence and identification are different.

---

Final Summary

• The existential quantifier means "there exists."
• It says at least one object satisfies a predicate.
• The domain matters.
• One satisfying example makes an existential statement true.
• Over a finite domain, existential quantification behaves like OR across cases.
• Existence does not always identify which object satisfies the claim.