Question 1006581
Simplification only works if you have a conjunction. NOT a disjunction.


Here is how to do the derivation


1) Q v P (given premise)
2) R -> ~P (given premise)
:. R -> Q (what we want to derive)
----------------------------------
3) P v Q (1, commutation)
4) ~~P v Q (3, double negation)
5) ~P -> Q (4, Material Implication)
6) R -> Q (2,5, hypothetical syllogism)