Complete the proof. I will provide an example proof below so you
have an idea of how I want it formated.
Proof 4 1. (GJ) 2. J & ~Q (HƆQ) /~H
1. (~DVE) ~ (F&G) 2. (F&D) H 3. ~ (~FVH) 4. ~ (~F) & ~H 5. ~H 6. ~ (F&D) 7. ~F~D 8. ~ (~F) 10. ~DVE 11. ~ (F&G) 12. ~FV ~G 13. ~G 14. ~H&~G 15. ~ (HVG) De-Morgan'