En kvantor er i prædikatslogik en operator, der binder variable. Mest benyttet er eksistenskvantoren ∃ og alkvantoren ∀. Er således x og y hele tal, betyder ∀x∃y (y>x) 'for alle x eksisterer et y, så y er større end x'. Udsagnet har ingen frie variable; x og y er bundet af kvantorerne (i modsætning til fx udsagnet x>2, hvis sandhedsværdi afhænger af værdien af x). Også kvantoren ∃! med betydningen 'der findes netop et x, så ...' anvendes hyppigt i matematik.
Det sker
Inflation
Nationalbanken advarer om risiko for øget inflation på op til 4,5 procent i år som følge af krigen i Iran. Det ændrer dog ikke på, at Nationalbanken fortsat forventer en sund statsøkonomi i Danmark i de kommende år.
Folketingsvalg 2026
Der blev afholdt valg til Folketinget den 24. marts 2026. 12 partier var opstillingsberettigede, og alle kom ind. Se resultatet, og læs om, hvad der nu skal ske.
Kongerunde
Kongerunden er den proces, hvor partilederne – i situationer hvor der er tvivl om regeringsdannelsen – giver råd til monarken. Hvert parti stiller typisk med to repræsentanter.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.