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).
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una...
indice
ìndice s. m. [dal lat. index -dĭcis, propr. «indicatore», der. del tema di indicare «indicare»]. – 1. In senso generico ed etimologico (da cui si sviluppano tutti i sign. particolari), qualsiasi cosa che serve a indicare. In origine...
