Para evaluar si el conjunto es consistente según la definición semántica, podemos construir una tabla de verdad: