Can this be true? $\exists x P(x) \wedge \exists x \neg P(x) $

72 Views Asked by At

Can the following be true or is it a contradiction?

$ \exists x P(x) \wedge \exists x \neg P(x) $

Sorry if this is an obvious question, i'm new to this topic.

3

There are 3 best solutions below

0
On BEST ANSWER

The important point is that the two $x$s are different. They are each dummy variables that extend from the $\exists$ to the $P(x)$. A far better way to write the sentence is $$\exists x P(x) \wedge \exists y \neg P(y)$$ This is logically equivalent to your expression, but it avoids the confusion caused by reusing variables. In this version, it is easy to see that the sentence can be true,

0
On

Of course this can be true. Example:-

P(x) : x is prime

0
On

Consider $P(x)$ be the statement that "$x \in\mathbb R$ and $x=1$".