Kvantor

Fra Wikipedia, den frie encyklopædi
Spring til navigation Spring til søgning

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 Betegnelse
(al) For alle Alkvantor
(eksistens) Der eksisterer mindst én / eksisterer der mindst én Eksistenskvantor
MatematikStub
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.