Hola a todos.
El otro día, en la clase, estaba hablando con unos compañeros de Uds que no veían la diferencia entre completo y Consistente Maximal.
En medio de la discusión, creo que dije que era lo mismo, dado que en mi cabeza, estábamos hablando de teorías.
Pero conjunto Completo y Consistente Maximal, no es lo mismo.
La diferencia es la relación que tienen con una fórmula o su negación para eso van la definición de completo y la propiedad de los CM que puede confundir. En las afirmaciones, observen cuidadosamente las relaciones mecionadas.
Conjunto Completo
Un conjunto @# \Gamma #@ es completo si y sólo si cumple que para cualquier @# \varphi \in PROP #@ se cumple que @# \Gamma \vdash \varphi #@ o @# \Gamma \vdash \neg \varphi #@
Conjunto Consistente Maximal
Los conjuntos Consistentes Maximales cumplen (se definen de otra forma, pero cumplen) que:
Si @# \Gamma #@ es consistente maximal, entoncesse cumple que @# \Gamma \in \varphi #@ o @# \Gamma \in \neg \varphi #@
Saludos
FDO.