1. Logical Implication (a) For a -((P p2)pp) and B-(Pi p3) determine (and prove) (b) For = (-op! P2) (p2 P3))) and = (-P3) determine (and prove) (c) For -{(pi Pa),(p2 P3)) and a (pi P3) determine (and prove) whether whether whether T Ha -(P4 P7) determine (and prove) whether (e) Let be some set of well formed formulas and let WFF. Prove the following statement . if and only if (7a)} is not satisfiable