SOLUTION: I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> E) 1. A v (~B v ~C) 2. A -> (D -> E) 3. ~(~B v ~D)

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