1. (A v B) > ~C 2. C v D 3. A :. D ----------------------------------- 4. A v B 3, Addition 5. ~C 1,4 Modus Ponens 6. D 2,5 Disjunctive Syllogism