W logice i matematyce stosuje się dwa tzw. kwantyfikatory. Kwantyfikator ogólny oznaczający: „każdy” lub „dla każdego” i kwantyfikator szczegółowy oznaczający: „istnieje” lub „istnieje taki”. ∀ Symbol kwantyfikatora dużego, czyli ogólnego lub uniwersalnego ∃ Symbol kwantyfikatora małego, czyli szczegółowegoDalej