SOLUTION: I need help annotating this proof because I really dont understand. 1. ~H ∨ F 2. F → J 3. ~~H ∴ ~F ∨ J 4. F

Algebra.Com
Eval error:

ModPerl::Util::exit: (120000) exit was called at /home/ichudov/project_locations/algebra.com/templates/Algebra/Questions/MoreLikeThis.pm line 159

SOLUTION: I need help annotating this proof because I really dont understand. 1. ~H &#8744; F 2. F &#8594; J 3. ~~H &#8756; ~F &#8744; J 4. F