Kvantor er en type symbol som brukes i matematisk logikk. Tegnet \(\forall\) kalles allkvantor, mens \(\exists\) kalles eksistenskvantor.
Faktaboks
- Uttale
-
kvantor
- Etymologi
- til kvantum
Hvis \(F(x)\)er det symbolske uttrykket for at elementet \(x\) har egenskapen \(F\):
- Uttrykket \((\forall x) F(x)\) betyr at alle \(x\) har egenskapen \(F\). Det leses som «For alle \(x\) gjelder \(F\)».
- Uttrykket \((\exists x) F(x)\) betyr at det finnes minst én \(x\) som har egenskapen \(F\). Det leses som «Det eksisterer \(x\) slik at \(F\) gjelder».
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.