Quantificatore, indice di un

Enciclopedia della Matematica (2013)

quantificatore, indice di un


quantificatore, indice di un variabile che compare subito dopo un quantificatore. Per esempio in ∀xP(x) la variabile x è l’indice del quantificatore universale ∀ ( quantificatore).

TAG

Quantificatore universale