[50 2. Proofs. In the problems below, start with restating the problem statement using quantifiers. In the proof itself, say when you are using universal/existential instantiation and generalization. State (a) For any real number z, an integer y is called the ceiling of (written as y -) if and only if i. Write the definition above as a predicate logic formula. Use