Question 1. Re-express the following statements using quantificational logic. You can assume that the domain is the set of all integers, including negative integers. You do not have to prove whether these statements are valid! (a) There is no integer solution to the equation y2 +4-7 (b) Every number that is smaller than 6 is also smaller than 10. (c) There are two different integers whose absolute value is 5. (d) All solutions of the inequality 2-315are greater than 6. [Hint: use implication e) For every number a, the equation az2 +4x - 2-0 has at least one solution when a S -2 but none when a > -2. [Hint: use iffl If there are numbers a, y and w such that both 2 5x-w and 4 y2w,ten -10 10