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
A.P. Møller
En dramadokumentar om A.P. Møller-dynastiet ruller over skærmen. Men hvem var virkelighedens Arnold Peter Møller, skibsrederen og industrimanden, som grundlagde de virksomheder, der udviklede sig til vore dages A.P. Møller-Mærsk-koncern?
Den store nytårsquiz
Quiz dig klogere på 2025 med 12 spændende spørgsmål – ét for hver måned af året, der gik.
Dark Sky
Vinterhimlen er mørk. Om man kan se stjernerne, kommer an på vejr og lysforurening. Dark Sky er områder, hvor man bedst kan se stjernehimlen.
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.