UTNianos

Tengo una consulta con los cuantificadores. No los entiendo, a ver si alguien me ayuda
Entiendo los de la suma normal y los de la multiplicacion, pero no por el 0 y el 1
1)\[\forall x\left [ \exists y: \left ( x.y=0) \right ) \right ]\]
2)\[\exists y\left [ \forall x(x.y=1)) \right ]\]
3)\[\exists y\left \lfloor \forall y: x.y=0 \right \rfloor\]
O sea no entiendo, porque si por ejemplo x=0 en el caso del 2) no se cumple.. No se.
Gracias!

Como es el ejercicio? Tenes el enunciado?

Parece un verdadero o falso, lo que decis del segundo es cierto.

Recorda que los cuantificadores no son conmutables, no es lo mismo "paratodo x existe y" que "existe y paratodo x"

En el tercero hay dos 'y', estas segura que lo copiaste bien?