Question 1038285
<pre>
 1. ~R>P
 2. (~P^S)^Z   / R^S

 3. ~P^S      2, Simplification
 4. ~P        3, Simplification
 5. ~P>~~R    1, Transposition
 6. ~P>R      5, Double negation
 7. R         6,4, Modus ponens
 8. S^~P      3, Comutation
 9. S         8, Simplification
10. R^S       7,9, Conjunction
    
Edwin</pre>