Kvantor

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

En kvantor er en logisk operator, der specificerer den kvantitet, som man udtaler sig om.

Typisk er kvantorernes rækkefølge i et logisk udsagn ikke ligegyldig.

Eksempel:

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, så findes et y hvormed: y er større end x.

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

De to udsagn siger noget forskelligt. Det første udsagn sandt og det andet er falsk.

Kort liste over kvantorer[redigér | redigér wikikode]

Kvantor Betydning
(al) For alle
(eksistens) Der eksisterer mindst én / eksisterer der mindst én

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.