Quantifiers - does this order matter?

  • Level: Graduate 
  • Thread starter gmmstr827
  • Start date
  • Tags Tags
    Matter
2 replies · 3K views · last reply
gmmstr827
Messages
82
Reaction score
1
Is saying [itex]\exists[/itex]x, [itex]\exists[/itex]y
the same as saying [itex]\exists[/itex]y, [itex]\exists[/itex]x?
 
Alright, because the professor I have right now thinks those are two completely different things. He reads it as "there exists an x such that there exists a y (for that specific x)." This is the second time I had the class (it didn't transfer colleges) and my previous professor said they're the same thing.

Is there a law describing this somewhere?