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
Kylian Mbappé
Franske Kylian Mbappé nærmer sig argentinske Lionel Messis nysatte rekord for flest mål scoret ved en VM-slutrunde. Med 18 mål er den 27-årige kun ét mål fra Messi.
Processionsspindere
Odense Kommune tror ikke længere på, at de kan få udryddet den bestand af egeprocessionsspindere, der kom til kommunen i 2025. Larvens hår kan give allergiske reaktioner hos både dyr og mennesker.
Ferie
Skolernes ferie begynder. Idéen om ferie vandt først for alvor indpas i slutningen af 1800-tallet, da industrialiseringen betød, at livet blev inddelt i arbejde og fritid.
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.