Meme f of the following predicate logic theorem (predicates P and Q are not defined). The DoD is the set of integers. (2) Given: ()Q)(Bly) P(y). 3)-Q) Prove:P(4) and conclusion clearly. (2) Theorem: If you have a bag containing only red balls and white balls, then when three 2. Construct a contrapositive proof of the following theorem. Indicate your assumptions balls are chosen from the bag, at least two of them will have the same color. 3. Let P(x) be the proposition: Given positive integer x, for all positive real numbers a and b, (a + b)x ax+bx Prove P(O) using a vacuous proof. (1)