Kwantor (logica)

Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica. Kwantoren binden variabelen.

Logische kwantoren

Zie Existentie, Universaliteit en Uniciteit voor de hoofdartikelen over dit onderwerp.

De twee belangrijkste kwantoren zijn de existentiekwantor "$\exists$" (of "E") en de universele kwantor "Ɐ" (of "A").

"$\exists x$", "$\exists x$$\mid$" of ook "$\exists x$$:$" betekent "Er bestaat een $x$ (waarvoor geldt):" of ook "Voor sommige $x$ (geldt):".

"$\forall y$", "$\forall y$$\mid$" of ook "$\forall y$$:$" betekent "Voor alle $y$ (geldt):".

Formeler is dit ook zo voor te stellen:

$\exists xP$ = ${\text{Er}}$ ${\text{bestaat}}$ ${\text{een}}$ $x$ ${\text{waarvoor}}$ ${\text{geldt}}$ $P$

$\forall yQ$ = ${\text{Voor}}$ ${\text{alle}}$ $y$ ${\text{geldt}}$ $Q$

Bij de existentiekwantor worden wel toevoegingen gebruikt zoals $\exists !x$ (unieke existentiekwantor) en in mindere mate $\exists ^{=n}y$ 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. $\exists !x$ is ook uit te drukken als $\exists x\ B(x)\land (\forall y,z\ (B(y)\land B(z))\implies y=z))$,

Met het teken voor "niet" ($\lnot$) kan in de klassieke logica de ene kwantor in de andere worden uitgedrukt:

1. ${\exists x\ A(x)}=\lnot {\forall x\ \lnot A(x)}$

2. ${\forall x\ A(x)}=\lnot {\exists x\ \lnot A(x)}$

Andere gelijkheden zijn:

3. $\exists x\ \lnot A(x)=\lnot \forall x\ A(x)$

4. $\lnot \exists x\ A(x)=\forall x\lnot \ A(x)$

In de intuïtionistische formele logica gelden equivalenties 1 en 3 niet van rechts naar links.

Onechte kwantoren

Normaal gesproken wordt een kwantor enkel gebruikt voor logische predicaten, die dus alleen waar of onwaar als uitkomst kunnen hebben. Andere bondige notaties die variabelen binden, kan men ook als 'kwantoren' weergeven, hoewel dit dan geen 'echte' kwantoren zijn.

• telkwantor N: telt het aantal keren dat een bepaald predicaat waar is
• somkwantor Σ of S: bekender in een andere notatie als het sommatiesymbool
• productkwantor Π of P: bekender in een andere notatie als het productsymbool
• minimumkwantor MIN: de minimumwaarde van het argument over het domein van de kwantor
• maximumkwantor MAX: de maximumwaarde van het argument over het domein van de kwantor

Op deze wijze kan men allerhande kwantoren definiëren om op een bondige manier een uitspraak te noteren.