Question 227925
<pre>
1.  P v ~R 
2.  ~R -> S
3.  ~P             / S & ~R 
---------------------------
4.  ~R                     1,3    Disjunctive Syllogism
5.  S                      2,4    Modus Ponens
6.  S & ~R                 5,4    Conjunction
</pre>