1. Construct a proof for Constructive Dilemma without using CD or IP. That is: P ⊃ Q, R ⊃ S, P v R ⊢ Q v S

(1 point)

2. If God were unable to prevent evil, He would be impotent. If he were able to prevent evil, but unwilling to do so, then He would be malevolent. Evil can exist only if God is either unwilling or unable to prevent it. There is evil. But if God exists, He is neither impotent nor malevolent. So, God doesn’t exist. [Translation follows]

~A ⊃ I

(A & ~W) ⊃ M

E ⊃ (~W v ~A)

E

G ⊃ ~(I v M) /∴ ~G

(A proof of the above without using CP or IP is worth 4 points; with CP or IP, is worth 2 points.)