Si una fórmulaψ contiene la subfórmula(∀v)(α) [es decir, que la cadena de símbolos que constituyen la fórmula\(\left( \forall v \right) \left( \alpha ...Si una fórmulaψ contiene la subfórmula(∀v)(α) [es decir, que la cadena de símbolos que constituyen la fórmula(∀v)(α) es una subcadena de la cadena de símbolos que componenψ], diremos que el alcance del cuantificador∀ esα.
