Buenas,
Tengo una duda de la parte c de este ejercicio.
Se pide decir si es verdadero o falso que cons(Δ) es consistente maximal.
Yo lo pense usando la definicion B de consistente maximal que dice:
Entonces, lo que pense fue, probar:
Δ es consistente (que eso lo hago encontrando una M:eta tal que M modela a Δ), y usando la parte b del ejercicio, donde probamos que existe un φ tal que Δ U {φ} queda inconsistente.
Y aplicar la "vuelta" del si y solo si de la definicion de CM.
Por lo tanto el resultado me dio que es verdadero, porque encontre una M:eta que modela a Δ y un φ que al unirlo Δ nos queda inconsistente.
Pero la solucion plantea que es Falsa.
Quisiera saber donde esta el error de mi razonamiento y porque está mal. Ademas tengo la duda de si es valida la definicion de CM en PROP para este ejercicio.
Saludos.
