Buenas, en el bosquejo de solucion del ejercicio 2ai y 2biii utilizan la proposición que dice que si gama es consistente, phi no pertenece a gama y gama union phi es consistente, entonces gama no es consistente maximal.
Yo para resolverlos utilice el resultado de que cons(gama) es consistente maximal si y solo si gama es completo.
Quería saber si fue correcto usar eso, aunque esas proposiciones las probamos en el práctico de completitud en PROP y no en PRED dado que segun entiendo las definiciones son análogas
Desde ya muchas gracias