SOLUTION: 1. ~(~E.~N)>T 2. G>(N+E) /G>T Use the eighteen inference rules to construct proofs for the following valid argument

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