5. (9 marks) Let A(x) and B(x) be predicates over the same nonempty domain. For each of the following assertions, state whether it is true or false. If an assertion is true then give a carefully reasoned argument in English to show that it is true (you do not have to give a formal proof). If an assertion is false, give a counterexample, i.e., an interpretation that satisfies one formula and falsifies the other in a way that violates the assertion (a) 30, (~ A(z)) logically implies 30, (A(z) B(z)) (b) Vz, (A(z)E(x)) logically implies (Yr, A(z)) (Vz, B(z)) (c)zVy, (A(z) B(y)) is logically equivalent to (ar, ~ A(r)) V(w, B(y))