Hay tres cuantificadores básicos: el cuantificador universal, el cuantificador existencial y el cuantificador existencial con marca de unicidad.