Buenas,
¿No es ALL(M) (pimer modela AND segundo modela)?
Para que las oraciones pertenezcan al conjunto se tienen que cumplir las dos condiciones. ¿Ponen la flecha porque el primer modela pertenece al conjunto por definición y entonces la flecha es equivalente al AND en ese caso?
Estoy de acuerdo que para demostrar que no son equivalentes hay que hacer que alfa NO MODELA beta y así.
Pero luego veo que se definen un par de estructuras y se dice que M1 NO MODELA beta. ¿Como es esto posible? Se demostró que beta pertenece al conjunto, y aún así M1 no lo modela.
