Kvantor

Fra Wikipedia, den frie encyklopædi

En kvantor er et logisk tegn, der specificerer en kvantitet.

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.


[redigér] Se

Denne artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den. Du kan også give den en bedre beskrivelse.
organisation