Find a counterexample, if possible, to these
Chapter 1, Problem 1.4.39(choose chapter or problem)
Find a counterexample, if possible, to these universally quantified statements, where the domain for all variables consists of all integers. a) VxVy(x2 = y2 -+ X = y) b) Vx3y(y2 = x) c) VxVy(xy ::: x)
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