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
De gule veste
Frankrig har den seneste tid oplevet store demonstrationer. Uroen begyndte blandt studerende, der ønskede bedre uddannelsesforhold, og har siden spredt sig til flere grupperinger – herunder protestbevægelsen de gule veste.
Brasilien
Den 25. oktober går Brasilien til valg, hvor det vil blive afgjort, om Lula kan fortsætte endnu en periode som præsident, eller om den højreorienterede udfordrer Flávio Bolsonaro overtager posten.
Starlink
Starlink er et satellitsystem, der er udviklet og opsendt af amerikanske SpaceX. Ukraine er afhængig af adgangen til Starlink for at afværge russiske missilangreb.
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.