- #1
gaobo9109
- 69
- 0
Homework Statement
p⇒¬q,q∨r⊢p⇒r, prove this using rule of natural deducton
Homework Equations
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.