Profundidad de Alternancia

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
El número de alternancias entre cuantificadores existenciales y universales en la secuencia alternada más larga de una fórmula; equivalente al número de cambios de ∃ a ∀ o de ∀ a ∃ a lo largo de un camino maximal a través de las ocurrencias de cuantificadores.