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. |

