- #1
Mr Davis 97
- 1,462
- 44
I am trying to negate ##\exists ! x P(x)##, which expanded means ##\exists x (P(x) \wedge \forall y (P(y) \rightarrow y=x))##. The negation of this is ##\forall x (\neg P(x) \lor \exists y (P(y) \wedge y \ne x))##. How can this be interpreted in natural language? Is it logically equivalent to the statement that either 0 or more than 1 value of x satisfies P(x)?