M "no modela" a
![( \forall x) \alpha \Leftrightarrow ( \forall x) \alpha \Leftrightarrow](https://eva.fing.edu.uy/filter/tex/pix.php/bef371b5b818e3a5bee5c7377a754798.png)
![\exists a \in |M| \exists a \in |M|](https://eva.fing.edu.uy/filter/tex/pix.php/88aed29badd66551ea59c8ac323c66c2.png)
![\alpha [a/x] \alpha [a/x]](https://eva.fing.edu.uy/filter/tex/pix.php/d9d4f629f55309bf30dd694305925b5e.png)
Lo que escribí de que debiste poner "para todo" en vez de "existe" fue como si estuvieras en el caso de que M "modela"... Mal yo jajaja lo que pasa es que yo lo hice por absurdo como te dije, y me confundí cuando leí mis apuntes.
Saludos!