Kvantor

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg

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[redigér | redigér wikikode]

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

Se også[redigér | redigér wikikode]

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