Два общих квантификатора - это экзистенциальные и существующие; и универсальный & forall; кванторы.
Самыми известными квантификаторами являются квантификатор существования (& exist; / O). Другой хорошо известный квантор называется универсальным квантификатором (& forall; / O).