Kvantor

Ein kvantor i matematikk er eit symbol nytta i matematisk logikk. Viss ${\displaystyle F(x)}$ er det symbolske uttrykket for at utsegna ${\displaystyle x}$ har eigenskapen ${\displaystyle F}$, skriv ein ${\displaystyle (\forall {x})F(x)}$ for at ${\displaystyle x}$ har eigenskapen ${\displaystyle F(x)}$ for alle ${\displaystyle x}$ (vert lese som «For alle ${\displaystyle x}$ gjeld ${\displaystyle F}$»). Viss det finst minst éin ${\displaystyle x}$ som har eigenskapen ${\displaystyle F}$, skriv ein ${\displaystyle (\exists {x})F(x)}$ (vert lese som «Det finst ${\displaystyle x}$ slik at ${\displaystyle F}$ gjeld»). Teikna ${\displaystyle \forall }$ og ${\displaystyle \exists }$ vert kalla høvesvis allkvantor og eksistenskvantor.

• «kvantor (matematikk)» i Store norske leksikon, snl.no.