# discrete math

posted by
**Nikki**
.

Express the quantification:

Existential(!)x P(x)

using universal quantifications, existential quantification and logical expressions. For sake of typing this question, I'm going to let "E" be the existential quantifier, "A" be the universal quantifier", and "^" means "and":

so far I have:

Ex(P(x) ^ Ay --> P(y))

But I have no idea if this is actually correct! I really appreciate your help!

Thanks!