# Logic - Is this equivalent?

1. Mar 1, 2009

### Horse

Is it equivalent?
$$( \forall x \in S \forall y P(x) ) <=> \neg ( \exists x \in S^{c} \exists y \neg P(x) )$$

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

Last edited: Mar 1, 2009
2. Mar 1, 2009

### HallsofIvy

Re: Equivalences

Yes, your statement is correct.

3. Mar 1, 2009

### Horse

Re: Equivalences

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