Kwantor (logica)

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

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

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

" ", "  " of ook "  " betekent "Er bestaat een   (waarvoor geldt):" of ook "Voor sommige   (geldt):".
" ", "  " of ook "  " betekent "Voor alle   (geldt):".

Formeler is dit ook zo voor te stellen:

  =
     
 
   
 
  =
   
 
 
 

Bij de existentiekwantor worden wel toevoegingen gebruikt zoals   (unieke existentiekwantor) en in mindere mate   die respectievelijk betekenen "Er bestaat precies één   waarvoor geldt:" en "Er bestaan precies   verschillende   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:

1.  
2.  

Andere gelijkheden zijn:

3.  
4.  

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

Onechte kwantoren

bewerken

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.