Existential quantifier

a.k.a. for some, there exists

A quantifier, denoted

\[\begin{equation*}
  \exists x \>\> P(x),
\end{equation*}
\]

and read

where \(P\) is the predicate that is

(Levin, 2021, sec. 0.2)

• Connect
• Explore