Homework Statement
Use rules of inference to show that if \forall\,x\,(P(x)\,\vee\,Q(x)) and \forall\,x\,((\neg\,P(x)\,\wedge\,Q(x))\,\longrightarrow\,R(x)) are true, then \forall\,x\,(\neg\,R(x)\,\longrightarrow\,P(x)) is true.
Homework Equations
Universal instantiation, Disjunctive...