Quantifier conversions

[beramodk]

Hey,

So uh, how would you represent an Existential Uniqueness quantifier without using the symbol "E!" (backwards E)

for example, how would you write " E! x < D such that P(x) " (there exists a unique x in domain D such that P)

without using the "E" symbol. (only "for all (A)" and "there exists (E)" allowed)

hmmm...

 

[bobsmith1492]

Homework....

What the heck class IS that, anyway? Stats?

 

[eLiu]

Why would you want to avoid the backwards E...? It's standard notation. I'm confused as to what the point of this is.

And the class is most likely something proof oriented... like analysis or algebra for example.

 

[CSMR]

Originally posted by: beramodk
Hey,

So uh, how would you represent an Existential Uniqueness quantifier without using the symbol "E!" (backwards E)

for example, how would you write " E! x < D such that P(x) " (there exists a unique x in domain D such that P)

without using the "E" symbol. (only "for all (A)" and "there exists (E)" allowed)

hmmm...

This is very easy and you should be able to figure it out.
Here's a method:
Write out in english how you would define unique existence.
Replace the english words with symbolic notation.