According to my book,(adsbygoogle = window.adsbygoogle || []).push({});

[itex](\exists!x)P(x)[/itex] is equivalent to [itex](\exists x)P(x)\wedge(\forall y)(\forall z)[P(y)\wedge P(z)\Rightarrow y=z][/itex]

But I don't see why the variable z is necessary. Wouldn't the following also be correct but shorter and easier to understand:

[itex](\exists x)P(x)\wedge(\forall y)(P(y)\Rightarrow y=x)[/itex]

??

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Unique existence quantifier equivalent to what?

**Physics Forums | Science Articles, Homework Help, Discussion**