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 $\displaystyle \rightarrow$ q) $\displaystyle \wedge $ (-p $\displaystyle \rightarrow $ r) $\displaystyle \wedge $ ((-p $\displaystyle \wedge$ r) $\displaystyle \rightarrow$ s) $\displaystyle \wedge$ -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.