4. a) The negation of "" x Z, x is even'' is $ x
Z such that x is not even. The negation is the true statement since 3 is an integer which is not
even. Note that the negation could also have been written as $ x
Z
such that x is odd.
b) The negation of "$
y R such that y2
< 0'' is " y
R, y2
0. The negation
is the true statement since the square of any real number is always non-negative.