Post a New Question

discrete math

posted by .

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!

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

More Related Questions

Post a New Question