Rene Ako nisi mazohist efikasnije je ići direktnom rezolucijom i samo prisegnuti opovrgavanjem ako je baš potrebno.
a) CvD
b) ~AvD
d) ~Bv~C
e) BvC
f) E
----------------------
1. ~AvB
2. ~BvD
3. ~CvD
4. ~DvE
5. BvC (e)
----------------------
6. ~AvD (1, 2) (b)
7. ~BvE (2, 4)
8. ~CvE (3, 4)
9. CvD (2, 5) (a)
10. BvD (3, 5)
----------------------
11. ~AvE (4, 6)
12. CvE (4, 9)
13. BvE (4, 10)
14. D (2, 10)
----------------------
15. E (14, 4) (f)
---------------------- (idemo opovrgavanje za d)
16. B (~d)
17. C (~d)
----------------------
ništa novo se ne može dokazati
Ali najbitnije, zašto si prepisao to iz propozicijske logike u FOL??? Doslovno nema poante. Čak su ti imena propozicija točno navedena u zadatku
