October 10, 2015

Homework Help: discrete math

Posted by Nikki on Wednesday, September 12, 2007 at 10:58pm.

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