I'll use some replacement characters since I don't know how to make the correct mathematical ones.

A = Logic symbol forand

--> = symbol forimpliesnegative

- (it's that hook thing normally) =

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.