Moi ben Paula, só un erro ao final no paso 12 antes de concluir a negación do suposto terías que formar a contradición unindo C ^ ¬C
Ou sexa:
-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 ^ ¬C I.^ 10,11
13. C V D R.Abs. 4-12
Do 4 ao 12 todo dentro dun corchete de suposto, aquí non o debuxo porque non deixa o editor.
Parabéns Paula