\begin{definition}[Definition:Propositional Expansion/Existential Quantifier]
Suppose our universe of discourse consists of the objects $\mathbf X_1, \mathbf X_2, \mathbf X_3, \ldots$ and so on.
Let $\exists$ be the existential quantifier.
What $\exists x: \map P x$ means is:
:At least one of $\mathbf X_1, \mathbf X_2, \mathbf X_3, \ldots$ has property $P$.
This means:
:Either $\mathbf X_1$ has property $P$, or $\mathbf X_2$ has property $P$, or $\mathbf X_3$ has property $P$, or ...
This translates into propositional logic as:
:$\map P {\mathbf X_1} \lor \map P {\mathbf X_2} \lor \map P {\mathbf X_3} \lor \ldots$
This expression of $\exists x$ as a disjunction is known as the '''propositional expansion''' of $\exists x$.
The propositional expansion for the existential quantifier can exist in actuality only when the number of objects in the universe is finite.
If the universe is infinite, then the propositional expansion can exist only conceptually, and the existential quantifier cannot be eliminated.
Category:Definitions/Quantifiers
\end{definition}