(adsbygoogle = window.adsbygoogle || []).push({}); 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?

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

Dismiss Notice

Join Physics Forums Today!

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

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

# Homework Help: Logic - Switching quantifiers

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

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