Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Logic - Is this equivalent?

  1. Mar 1, 2009 #1
    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 [tex]S^{c}[/tex].
    Last edited: Mar 1, 2009
  2. jcsd
  3. Mar 1, 2009 #2


    User Avatar
    Science Advisor

    Re: Equivalences

    Yes, your statement is correct.
  4. Mar 1, 2009 #3
    Re: Equivalences

    Please, can you clarify whether it is the first statement or my attempt at solution?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook