Rango de Cuantificadores

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La profundidad máxima de anidamiento de cuantificadores (existenciales o universales) en una fórmula lógica; una medida sintáctica usada para cuantificar la complejidad de la fórmula y frecuentemente empleada en teoría de modelos y aproximaciones sobre modelos finitos.