Solution for Section 2.1 Question 4

4. a) The negation of "" x in.jpg (595 bytes)Z, x is even'' is $ x inred.jpg (890 bytes)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 inred.jpg (890 bytes)Z such that x is odd.

b) The negation of "$ y in.jpg (595 bytes)R such that y2 < 0'' is  " y inred.jpg (890 bytes)R, y2 geqred.jpg (896 bytes)0. The negation is the true statement since the square of any real number is always non-negative.

Back to Section 2.1