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

Homework Help: Logic - Switching quantifiers

  1. Feb 1, 2010 #1
    1. The problem statement, all variables and given/known data

    Determine whether [tex]\exists[/tex]x[tex]\forall[/tex]y[p(y) --> q(x)] is equivalent to [tex]\forall[/tex]y[tex]\exists[/tex]x[p(y) --> q(x)], justify your answer with a proof.

    2. Relevant equations

    3. The attempt at a solution

    I know that when you switch quantifiers in something like P(x,y), the meaning changes and it is not equivalent but how about here where the variables are again separated. My intuition is telling me they are equivalent, or rather I should say I can't think of any proof that would falsify this.

    Likewise, I cant think of how to prove this either. Would I have to do something along the lines of exploring all true false values for the given situations?
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted