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 z (written as y z]) if and only if i. write the definition above as & predicate logic formula. Use