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
Scandinavian Star
Overlevende og pårørende til ofre for branden på Scandinavian Star har sagsøgt Søfartsstyrelsen for ikke at have ført tilstrækkeligt tilsyn, inden branden brød ud på færgen i 1990. 159 mennesker omkom. Søfartsstyrelsen er netop blevet frikendt i sagen.
Ebolavirus
Ebolavirus er en virus, der typisk forekommer i Afrika omkring ækvator. Den findes hos flagermus, som kan sprede smitte blandt mennesker, der ikke er immune.
Havvindmøller
I dag lukker Energistyrelsen for bud på de to havvindmølleparker Nordsøen Midt og Hesselø. De to parker forventes færdigopført ved udgangen af 2032.
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.