Kvantor
Utsjånad
Ein kvantor i matematikk er eit symbol nytta i matematisk logikk. Viss er det symbolske uttrykket for at utsegna har eigenskapen , skriv ein for at har eigenskapen for alle (vert lese som «For alle gjeld »). Viss det finst minst éin som har eigenskapen , skriv ein (vert lese som «Det finst slik at gjeld»). Teikna og vert kalla høvesvis allkvantor og eksistenskvantor.
Kjelder
[endre | endre wikiteksten]- «kvantor (matematikk)» i Store norske leksikon, snl.no.