Profe, o exercicio exposto por Clara, podería ter tamén a seguinte solución:?? (aplicando a regra de eliminación do disxuntor)
-1. A V B I- C V D
-2. A -> C
-3. ¬ D -> ¬ B
4. A H
5. C E->2,4
6. CvD Iv5
7. B H
8. D TT 3,7
9. CvD Iv8
10. CvD Ev4-9
(O que está en rosa sería a primeira parte do suposto, e o que está en verde a segunda parte do suposto pola eliminación do disxuntor)
Paula Caride