Propiedades para conjuntos en PROP extendidas a conjuntos en PRED

Propiedades para conjuntos en PROP extendidas a conjuntos en PRED

de Tomas Pasacual Sexenian Lopez -
Número de respuestas: 1

Buenas, 

Quería saber si las propiedades que dimos en completitud de PROP valen para sentencias en PRED. 

Dejo algunos ejemplos:

En PROP teníamos : "si Γ consistente maximal entonces existe una única valuación tal que v(Γ) = 1", ¿Vale en PRED decir que "si Γ consistente maximal entonces existe una única estructura que lo modela" ?

En PROP teníamos "CONS(Г) es consistente maximal si y sólo si Г es completo", ¿Si existe en PRED la noción de conjunto completo, vale afirmar lo mismo que en PROP? 

En respuesta a Tomas Pasacual Sexenian Lopez

Re: Propiedades para conjuntos en PROP extendidas a conjuntos en PRED

de Guillermo Calderon - InCo -

Hola:

Con respecto a esta pregunta:

>> si Γ consistente maximal entonces existe una única estructura que lo modela" ?

No se cumple. Al menos no en esa formulación tan estricta.

Sí tenemos una propiedad similar que es la que se formula en el ejercicio 10 del práctico 9.

Por otro lado, la nocion de completo no se presenta en lógica de predicados. Por lo tanto no consideramos las propiedades vinculadas que se presentan en proposicional.