Kwantyfikatorem ogólnym (lub dużym) nazywamy zwrot “dla każdego” oznaczający że dana własność zachodzi dla wszystkich elementów danego zbioru. Oznaczenie: ∀\forall∀\forall lub ∧\land∧\land.
