Kvantor er en type symbol som brukes i matematisk logikk. Tegnene ∀ og ∃ kalles henholdsvis allkvantor og eksistenskvantor.

Faktaboks

Uttale
kvˈantor
Etymologi
til kvantum

Hvis F (x) er det symbolske uttrykket for at elementet x har egenskapen F:

  • Uttrykket (∀x)F(x) betyr at alle x har egenskapen F. Det leses som «For alle x gjelder F».
  • Uttrykket (∃x)F(x) betyr at det finnes minst én x som har egenskapen F. Det leses som «Det eksisterer x slik at F gjelder».

Les mer i Store norske leksikon

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.

eller registrer deg