Hi all,

I am having an issue with the following question, I wonder if anyone could point me in the right direction:

Using only the standard rules of inference and logical equivalence, prove the validity of the following argument, where the propositional functions P, Q, R and S share the same domain.

http://img6.imageshack.us/img6/4817/mathsg.jpg

Any suggestions would be much appreciated!