Premises:

a)~p v q -> r

b) s v ~q

c)~t

d)p -> t

e)~p (and) r -> ~s

Therefore, ~q

This is my attempt:

1) ~t (from c)

2) p-> t

~t

therefore, ~p (Modus Tollens)

3)~p v q-> r

~p

therefore, r (Whats is this called? elimination?)

4)~p (and) r-> ~s

~p (and) r (<---from 2, 3)

therefore, ~s (<--Modus Ponens)

5) s v ~q

~s (from 4)

therefore, ~q (elimination)

Did I do good? Is there anything I should add/ change?