Exists
f(x) for some x∈STrue if f(x) is true for some x in S, and false otherwise.
ex=2 for some x∈R with x≥0An example of a quantified formula.
(P(x) for some x∈S)⟺(True∈{P(x):x∈S})Equivalent characterization of this operator.
(P(x) for some x∈S with Q(x))⟺(True∈{P(x):x∈SandQ(x)})Equivalent characterization of this operator.
Last updated: 2020-03-06 00:22:16