Kvantor

En kvantor er en logisk operator, der specificerer den kvantitet, hvorover den af kvantoren bundne variable er gyldig.

Ofte er kvantorenes rækkefølge i et logisk udsagn ikke ligegyldig.

Eksempel ( I dagligdags sprog ):

Hvis f.eks. M er talmængden [0 ; Uendelig [ og man har de to logiske udsagn ( Hvor x og y er tal ):

1) For alle x tilhørende M, findes et y så: y større end x.

2) Der findes et y så for alle x tilhørende M er: y større end x.

Gælder at de to udsagn dels siger noget forskelligt, og i øvrigt er det første udsagn sandt og det andet udsagn er falskt.

Kort liste over kvantorer

Kvantor	Betydning
$\forall$	For alle
$\exists$	Der eksisterer / eksisterer der

Se også

• Alkvantor
• Eksistenskvantor

Stub Denne artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.