Here you are to show that R v (S v P), ~R & ~S, P -> ~Q, Q v A |- A   Help   Next   Return to Menu