hola..
haciendo este ejercicio me surgio una duda..
lo que hice fue lo siguiente:
1) probamos que L1 es teoria (utilizando la propiedad que dice: (para todo gama incluido en PROP, CONS(gama) es teoria) ).
2) por induccion probamos que existe una unica valuacion que hace verdadera a todos los elementos de L1
3) utilizando el resultado del ej 10 practico 5..concluimos que es consistente maximal pues es teoria y encontramos una unica valuacion que lo hace verdadero..
esta bien plantearlo de esta manera?? pues nos quedo distinto que en la solucion.
saludos!!!