Exact meaning of ∃x

145 Views Asked by At

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)?

1

There are 1 best solutions below

2
On BEST ANSWER

Exactly one is often denoted as

$$\exists!$$