I'll use some replacement characters since I don't know how to make the correct mathematical ones.
A = Logic symbol for and
--> = symbol for implies
- (it's that hook thing normally) = negative
Here's the problem:
Show that the conclusion
(p q) (-p r) ((-p r) s) -q ==> s
is correct. Do this using both deduction and reduction methods.
I'm just stranded here, I really don't know where to begin and how to proceed. Thanks for any help.