Is S^{c} the key difference in this logical equivalence?

[Horse]

Is it equivalent?
<br /> ( \forall x \in S \forall y P(x) ) &lt;=&gt; \neg ( \exists x \in S^{c} \exists y \neg P(x) )<br />

Attempt at solution
I think it should be
<br /> ( \forall x \in S \forall y P(x) ) &lt;=&gt; \neg ( \exists x \in S \exists y \neg P(x) )<br />
The diiference to the above statement is S^{c}.

 

[HallsofIvy]

Yes, your statement is correct.

 

[Horse]

Yes, your statement is correct.

Please, can you clarify whether it is the first statement or my attempt at solution?