1. The problem statement, all variables and given/known data p⇒¬q,q∨r⊢p⇒r, prove this using rule of natural deducton 2. Relevant equations 3. The attempt at a solution My approach is this. 1.Prove that qvr⊢¬q⇒r. 2.Assume p 3.By modus ponen, p⇒r But the problem I face is how to prove step 1.