die erste Aussage ist falsch, da die Aussageform Q(x, y): x + y = x - y lautet, diese sich aber äquivalent in y = -y umformen lässt. Für alle ganzen Zahlen ist diese Aussage jedoch falsch. Sie gilt nur für eine bestimmte ganze Zahl, nämlich die Zahl y = 0.
Zweitere Aussage ist ebenfalls falsch, da die Aussageform Q(x, y) eigentlich nur von y abhängt gemäß Q(x, y) = Q(y): y = -y. Das heißt, es kann schon ein x existieren, die Aussage für alle y bleibt jedoch falsch.
MfG
Mister