Si, el libro no pide que sea consistente, pero en el curso si lo
pedimos. Eso es porque los conjuntos inconsistentes serían trivialmente
completos porque derivan cualquier cosa (cualquier φ y también ¬φ). Y
cuando trabajamos con conjuntos completos en el práctico nos interesa
ver sólo los casos en que son consistentes, que son los interesantes.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR