(18 points) For each statement, translate it to a quantified statement using the predicates given and state the domain. If you are using more than one quantifier (and more than one variable,) then define a domain for each variable. For example: "All dinosaurs are extinct" - E(x) is " x is extinct" Then my answer would be: x(E(x)) with the domain defined to be the set of all dinosaurs. For example: "every positive real number has a multiplicative inverse" - M(x,y) is " xy=1 " Then my answer would be: xy(M(x,y)) with the domain defined to be the set of all positive real numbers for each variable x and y. (a) I have read a book - B(x) is "I have read book x. " (b) Each student in the class has read a (possibly different) book. - S(x,y) is "Student x has read book y. " (c) There is a book that has been read by all students. - S(x,y) is "Student x has read book y. " (d) For any student, if that student has read a book, then that student is literate. - S(x,y) is "Student x has read book y." - L(z) is "Student z is literate. (e) For any positive integer n, if n is not prime then there is a positive integer m such that 1y. " (g) Every morning I have cereal or eggs for breakfast. I never eat both cereal and eggs on the same morning. - C(x) is "I eat cereal on morning x. " - E(y) is "I eat eggs on morning y." (h) There is not a real number that is the square root of 1. - R(x) is " x2=1." (i) There are (at least) two different integers whose square is equal to 1. - P(x) is " x2=1" - N(y,z) is " y=z