I WOULD LIKE THE ANSWER FOR 28

In Exercises 17-30, either prove that the wff is a valid argument or give an interpretation in which it is false. (x)[A(x) B(x)] rightarrow (x)A((x) (x)B(x) (x)[R(x) S(x)] rightarrow (x)R(x) (x)S(x) (x)P(x) (x)(y) Q(x, y) rightarrow (x)(y)[P(x) Q(x, y)] (Forall x) [P(x) rightarrow Q(x)] rightarrow [(Forall x) P(x) rightarrow (Forall x) Q(x)] (Forall x) (P(x))' rightarrow (Forall x) P(x) rightarrow Q(x)) [(Forall x) P(x) rightarrow (Forall x)Q(x)] rightarrow (Forall x)[P(x) rightarrow Q(x)] (x)(Forall y) Q(x, y) rightarrow (Forall y) (x) Q(x, y) (Forall x)P(x) (x)Q(x) rightarrow (Forall x)[P(x) Q(x)] (Forall x)[A(x) rightarrow B(x)] rightarrow [(x)A(x) rightarrow (x)B(x)] (Forall y)[Q(x, y) rightarrow P(x)] rightarrow [(y)Q(x, y) rightarrow P(x)] [P(x) rightarrow (y)Q(x, y)] rightarrow (y)[P(x) rightarrow Q(x, y)] (Forall x)(P(x) Q(x)) (x)Q(x) rightarrow (x)P(x)