Hola a todos. Les voy a tirar una idea para que la peloteen Uds.
Me parece que no miraste bien el ejercicio... en la primera parte de esa parte nos dicen que:
La primer pregunta que nos hacemos debiera ser: qué significa esto?
Bien, esto significa que todas las valuaciones (si fuera predicados serían "estructuras") que hacen verdaderas a todas las fórmulas de 
también hacen verdadera la fórmula.
Te parece que eligiendo
pasa eso?
Saludos
FDO.