I am a little bit confused about the meaning of quantifier ∃x
Some definitions make it sound like There is exactly one x and some make it sound like There is at least one x
I have this expression:
∃x (P(x)∧ Q(x))
Does it mean find exactly one x for P(x) and Q(x) or does it mean find one or more x for P(x) and Q(x)?
Exactly one is often denoted as
$$\exists!$$