Filosofia lenguaje formal

Hola espero encontrarme a un profesor de filosofía o alguien que sepa del tema tengo un problema en unos ejercicios. Es un ejercicio de formalizazion después de formalizar el ejercicio tengo que derivarlo(como dice mi profesor) pero en realidad en las hojas que dio pone deducción directa , es decir tengo que demostrar la validez del ese enunciado el ejercicio es el siguiente
1) p?q^r
2)q^s?t^u^y
3)r^¬s?w^x^y
conclusión: p^(s?¬s)?y
^ =conyuntor
v = negación
? =condicional
¬ = negación