donde formula_12 es el rango del cuantificador y formula_13 el número de niveles de cuantificación.