Let $\displaystyle P(x,y), R(x,y)$ and $\displaystyle T(x,y)$ be properties which involve reals $\displaystyle x$ and $\displaystyle y$. Negate the following:

$\displaystyle (\forall x)(\exists y)[(P(x,y) \vee T(x,y)) \implies (\sim S(x,y) \wedge R(x,y))]$

Note: you are not allowed to have an implication in answer

------

My answer:

$\displaystyle (\exists x)(\forall y) [(P(x,y) \vee T(x,y)) \wedge (S(x,y) \wedge \sim R(x,y))]$