Kwantor
Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica. Er zijn twee kwantoren, de existentiekwantor 
en de universele kwantor 
.
Kwantoren binden variablen.
betekent "Er bestaat een x waarvoor geldt:" en
betekent "Voor alle y geldt:".
Bij de existentiekwantor worden wel toevoegingen gebruikt zoals 
(unieke existentiekwantor) en in mindere mate 
die respectievelijk betekenen "Er bestaat precies één x waarvoor geldt:" en "Er bestaan precies n verschillende y waarvoor geldt:". In principe zijn dit slechts verkortingen. is ook uit te drukken als 
,
Met het teken voor "niet" (
) kan in de klassieke logica de ene kwantor in de andere worden uitgedrukt:
Andere gelijkheden zijn:
In het intuïtionistische formele logica gelden deze equivalenties niet.
Zie voor de verdere beschrijving van de kwantoren existentiekwantor, universele kwantor en unieke existentiekwantor.
