I have been working on the following problem from Velleman's
Are these statements true or false? The universe of discourse is the set of all people, and P(x, y) means “x is a parent of y.”
(a) ¬∃x∃y P(x, y)
I tried to solve this in the following steps:
* ¬∃x∃y P(x, y) * ¬(There exists some x and some y such that x is a parent to y) * x isn't parent to y
From the Universe of discourse, I conclude that there will be some
who isn't a parent to
y and conclude that this statement is
But the answer stated here is completely different which states:
It means, There does not exist anyone who is parent of someone. Clearly its False.
Can someone explain the thought process behind this ?