Is it equivalent?(adsbygoogle = window.adsbygoogle || []).push({});

[tex]

( \forall x \in S \forall y P(x) ) <=> \neg ( \exists x \in S^{c} \exists y \neg P(x) )

[/tex]

Attempt at solution

I think it should be

[tex]

( \forall x \in S \forall y P(x) ) <=> \neg ( \exists x \in S \exists y \neg P(x) )

[/tex]

The diiference to the above statement is [tex]S^{c}[/tex].

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Logic - Is this equivalent?

**Physics Forums | Science Articles, Homework Help, Discussion**