Premise: (p ∨ q)-> ﹁s∨p, ask

Conclusion: s->r

Prove:

1 introduction. Q premise

2.p∞q Additional Law

3.(p∨q)-& gt； R premise introduction

4.r2.3 Hypothetical reasoning

5. Additional laws

6.s-& gt； R implication equivalence