quantificatore universale

Il quantificatore universale è un simbolo scientifico, largamente usato in diversi campi della matematica (soprattutto in insiemistica e in logica); il ∀ viene detto quantificatore perché serve a indicare la grandezza o l'estensione di una ed universale perché l'estensione indicata è sempre totale: non per nulla, infatti, esso ha lettura "per ogni". La sua forma è quella di una lettera A maiuscola capovolta: ciò si deve all'iniziale della parola inglese All, che in italiano significa tutto.