Sintoo Joaquín, ao non ver os corchetes dos supostos non sei ben o que fiseches. O suposto en negriña está dentro do primeiro suposto? Se é asi vale, noutro caso sería incorrecta.
Esta é outra forma de resolvela que como ves leva supostos anidados:
-1. (p^q)->r |- ¬s -> r
-2.¬(p v r)->s
-3.p->q
4. ¬s (suposición)
5. ¬¬(pVr) T T 2,4
6. pVr E¬¬ 5
7. p (suposición)
8. q P.P. 3,7
9. p^q I ^ 7,8
10. r P.P. 1,9
11. r (suposición)
12. r regra de identidade (non a expliquei na clase)
13. r E. V 6, 7-10, 11-12
14.¬s ->r I. -> 4-13
¡Non te preocupes que non son tan complicadas as do exame!