what is different between these two?

Plato

MHF Helper
Aug 2006
22,506
8,663
I don't understand what you are asking.
Are you asking "what is the difference in $\\1)~\left( {\forall x} \right)\left( {\exists y} \right)\left[ {M(y,x)} \right]\\2)~\left( {\exists y} \right)\left( {\forall x} \right)\left[ {M(y,x)} \right]~?$

If you are, think of $M(a,b)$ means "a is the mother of b".
1) Says Everyone has a mother.
2) Says someone is the mother of everyone.

If that is no what you are asking, type out (DO NOT USE AN ATTACHMENT) the question.
Explain in detail you problem.
 
  • Like
Reactions: 1 person

HallsofIvy

MHF Helper
Apr 2005
20,249
7,909
I thought at first that he was asking "what is the difference" between the two attachments- but they are identical!
 

Plato

MHF Helper
Aug 2006
22,506
8,663
I thought at first that he was asking "what is the difference" between the two attachments- but they are identical!
Right! The attachments are identical. The thread title refers to the first sentence in both.
What is the difference in $(\forall x)(\exists y)~\&~(\exists y)(\forall x)~?$