Question 509899
<pre>
To prove:
P. R->~Q. P->Q therefore ~R

 P         given premise
 P->Q      given premise
----
&#8756;Q         modus ponens
&#8756;~~Q       double negation

  R->~Q    given premise
~~Q
-------
&#8756;~R        modus tollens 

Edwin</pre>