Post a New Question

discrete math

posted by on .

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!

Answer This Question

First Name:
School Subject:

Related Questions

More Related Questions

Post a New Question