Profondeur D'Alternance

Le nombre d'alternances entre quantificateurs existentiels et universels dans la plus longue séquence alternée d'une formule ; en d'autres termes, le nombre de changements de type de quantificateur (∃→∀ ou ∀→∃) le long d'un chemin maximal à travers les occurrences de quantificateurs.