Quantifiers - does this order matter?

  • Thread starter Thread starter gmmstr827
  • Start date Start date
  • Tags Tags
    Matter
gmmstr827
Messages
82
Reaction score
1
Is saying \existsx, \existsy
the same as saying \existsy, \existsx?
 
Physics news on Phys.org
Hi gmmstr827! :smile:

No, in this case, the order doesn't matter.
 
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?
 

Similar threads

Back
Top