Prove the following valid using the rules of implication.

1. Z
2. (Z v A) > [(C = P) & ~D]/ C = P

Prove the following valid using the rules of implication.

1. (R v ~A) > D
2. R & B
3. (R v ~C) > K
4. (O v L) > ~(D & K)/ ~(O v L)

Prove the following valid using the rules of implication.

1. (~Y = R) & A
2. K
3. (J & ~Q) > (W v B)
4. (W v B) > ~K/ (~Y = R) & ~(J & ~Q)