Kvantor

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


Kategori:Logikk
Kategori:Predikativ logikk
Kategori:Matematisk logikk
Kategori:Filosofisk logikk
Kategori:Semantikk