Hola Tomás, estás en lo correcto: un conjunto consistente maximal es
teoría (y también consistente). Pero se cumple más que eso:
Γ CM sii es Γ teoría y completo.
Por lo tanto, cons(P) es consistente maximal, como vos decís.
Ojo que lo que decís en "tengo apuntado que..." no está bien. Lo
correcto es:
Γ CM sii Γ es teoría y existe una **única** valuación v tal que v(Γ) = 1
que es lo mismo que puse arriba, por la caracterización semántica de los
conjuntos completos.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR