SOLUTION: ~ w → ~ a
~ ( w ٨p ) V s
S →b
~ (a ٨~ p)
___________ ___
a →b
Formal proof written form
Statements and their reasons
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