En términos semánticos, un conjunto de fórmulas es consistente si y sólo si tiene un modelo formula_4: