Show that the two statements -.3xVy P(x, y) and Vx3y-.P(x,
Chapter 1, Problem 1.4.47(choose chapter or problem)
Show that the two statements -.3xVy P(x, y) and Vx3y-.P(x, y), where both quantifiers over the first variable in P (x, y) have the same domain, and both quantifiers over the second variable in P (x, y) have the same domain, are logically equivalent.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer