8.3.1 Fuerza bruta

Podemos listar todas las posibles combinaciones de valores para cada variable, y comprobar que, para cada una, si la parte izquierda del secuente se cumple entonces la parte derecha también.

Si hay $n$ variables, hará falta comprobar $2^{n}$ casos.

Lo malo es si hay cuantificadores, porque ahí ya hay un dominio implicado. Y no podemos listar algunos de los posibles dominios existentes, porque un dominio puede contener infinitos elementos.