Oops...never mind...I'm dumb.

For x+y=x-y, setting x=0 is not false for the case y=0. And there is no x such that Q(x,y) if false for every y. So the entire logic statement cannot be false.

I think I got it. However, if I'm still stupid, please let me know! Thanks!