Solution to 2.

 

 

 
1. p&~q
2. (~r->t)vq
3. p->(s->~r) .:s->t
4. p 1 simp
5. ~q 1 simp
6. ~r->t 5,2 ds
7. s->~r 3,4 mp
8. s->t 7,6 hs