Deux quantificateurs communs sont existentiels et existent ; et universels et faux ; quantificateurs.
Les quantificateurs les plus connus sont l'existence quanti-LRB- & exist ; / O-RRB-. L'autre quantificateur bien connu s'appelle universal quanti-LRB- & forall ; / O-RRB-.