Alkvantor, navnet på det logiske (mat.) tegn ∀, der betyder 'for alle' eller 'for enhver'. Se kvantorer og prædikatslogik.