Hola,
En este ejercicio, me dan una formula phi = (para todo x)(P(x) -> x=c)
En la parte c, me piden probar que el cons(phi) no es consistente maximal.
Queria saber si es correcto utilizar la idea de conjunto completo en PRED. Se que para PROP si es correcto.
De esa forma, si es aplicable para PRED: si phi no es completo -> el cons(phi) no es consistente maximal.
Gracias