m. (-s), (wiskundige) grootheid die het aantal waarden van een variabele geeft waarvoor een bewering waar is.
Men onderscheidt de al-quantor, symbool: ∀ die inhoudt dat voor elke waarde de bewering geldt, en de existentie-quantor, symbool: ∃ die inhoudt dat er tenminste een waarde is waarvoor de bewering geldt. Deze quantors kunnen ook in combinatie optreden. Voorbeelden:
∀ [(x + y)(x y) = X2 y2] xE|R yE|R betekent: voor elke xElR en y€IR geldt de gelijkheid (x + y)(x y) = x2 y2.2. ∀ ∃ (x + y = 2) is waar, want bij xEIR yEIR xEIR is er een yEIR zo dat x + y= 2, nl. y = 2 x.
