Buenas,
Repasando el teórico veo que la condición que dice que si un conjunto es satisfacible, entonces es consistente, es una condición suficiente, yo la estaba usando como suficiente y necesaria.
¿Por qué no es necesaria? ¿Pueden haber conjuntos no satisfacibles que sean consistentes?
Gracias