verificando las dualidades del cuantificador en el modelo.