Solution to 5.

 

 

1. a->b
2. c->~b
3. d->(a&c) /.:~d
4. |->d aip
5. | a&c 3,4 mp
6. | a 5 simp
7. | c 5 simp
8. | b 1,6 mp
9. | ~b 2,7 mp
10. |__b&~b 8,9 conj
11. ~d 4-10 ip