SOLUTION: I need help finishing this proof. (~K -> K) -> ~L, ~(~L -> ~M) -> L, M :. K <-> ~L 1. (~K -> K) -> ~L 2. ~(~L -> ~M) -> L 3. M

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