Eu fíxeno por reducción ao absurdo, pero non sei se está ben:
-1. A V B I- C V D
-2. A -> C
-3. ¬ D -> ¬ B
4. ¬ ( C V D)
5. ¬¬(¬ C ^¬ D) Def V 4
6. ( ¬ C^¬ D) E ¬¬ 5
7. ¬ D ^ E ^ 6
8. ¬ B M.P 3,7
9. A S.D 1,8
10. C M.P 2,9
11. ¬ C E ^ 6
12. C V D R.A 4-11