P2.3.3 Let A and B be two types such that A is a proper subset of B (so that B contains all the elements of A plus at least one other element). Let P be a unary predicate on A, and let Q be a unary predicate on B. Suppose that Va : Hb: P(a) + Q(b) is true. Which of the following four statements is guaranteed to be true? For each statement, explain why it is always true or give an example where it is false. (Hint: Consider the case where A is empty.) (a) (Va : P(a)) + (Wb: Q(6)) (b) (Vb:Q(b)) + (Va : P(a)) (c) (3a : P(a)) + (36: Q(6)) (d) (36 : Q(6)) + (Fa : P(a))