2. [12 marks] Translating statements. Consider the following sets and predicates: Using only these sets and predicates, the symbols = and =, and the standard propositional operators and quantifiers from lecture, translate each of the following English statements into predicate logic. (a) No student in Computer Science has failed any course. (b) There is a course that all Computer Science students are taking this term. (c) Not all students in Computer Science are taking courses this term. (d) Every course has exactly 1 student. (Hint: use = and/or =.) (e) Every student is taking exactly two different courses this term. (Hint: use = and/or =.) Hint: Be sure to read the "Additional instructions" given on pages 1 and 2