Fråga angående notation i predikatlogik

Minounderstand skrev :

Ponera att jag har universum: $U=\left\{a, b\right\}$ och den predikatlogiska formeln: $\exists x\exists yF(x,y)$

Betyder detta då att både $x$ och $y$ inte kan ha samma värde från $U$ samtidigt? D.v.s $x\ne y$, eller måste detta specificeras?

 

Tack på förhand!

Uttrycket säger ingenting om huruvida $x\neq y$ eller inte. Om du vill ange att x och y ska vara skilda åt måste du uttryckligen ange det.

Okej!