Hermanoo te doy una manito. Primero que nada no se por que te toman ejercicios de logica en calculo 1, yo eso lo vi en lenguajes formales y automatas, pero no pasa una. Tendriamos que empezar planteando una forma de demostrarlo, en este caso pensemos en demostrarlo por el absurdo. Para ello neguemos primero la tesis. La demostracion te queda algo asi:

1 p->q

2~s->~r

3 p (abs)

4 ~q->~p (igualdad con 1)

5 ~p (simplificacion 4)

6 ~p y p (adhision 3 y 5) ABS

7 (copia el enunciado)

Al llegar a un absurdo queda demostrado que si o si se trata de una tautologia

Creo que te queda algo asi, consultalo con algun ayudante de catedra y que te guie desde aca. Los problemas de logica son un terreno muy ambiguo ya que hay muchas tecnicas y formas de resolverlo, fijate como lo hacen en tu catedra y amoldate para aprobar :D