3. (12 points) Express each of these statements using quantifiers and the given predicates, along with arithmetic operations (e.g. z2,2x). Then form the negation of the statement, so that no negation operator is to the left of a quantifier. Next, express this negation you formed in simple and precise English (a) Statement: For all real numbers , if 1, then z 0 (b) Statement: For all integers a, b, c, if a b is even and b - c is even, then a - c is even (c) There is a real number with no reciprocal. Allowed predicates: G(a, b) = "a > b", Eq(a, b) = "a = b". Allowed predicate: Eq(a, b) = "a = b" Reminder: the reciprocal of a real number a is a real number b such that ab 1 Allowed predicates: Eq(a, b)= "a=b" (d) There is a real number z, such that for all real numbers y, 2z+ y = 5. Allowed predicates: Eq(a, b)-"a = b