En kvantor er i prædikatslogik en operation, 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
Karakterer og karakterskalaer
Regeringen har nu præsenteret et udspil til en ny karakterskala, der skal erstatte den nuværende 7-trinsskala. 7-trinsskalaen har været i brug siden 2006 og er blandt andet blevet kritiseret for dens brug af den negative karakter -3.
J-dag
J-dag er dagen, hvor Tuborgs julebryg kommer i handlen. Dagen falder hvert år på den første fredag i november. J-dag blev lanceret i 1990 efter fransk forbillede.
Tropiske cykloner
Tyfonen Kalmaegi har været skyld i mindst 114 filippineres død siden tirsdag. Kalmaegi bevæger sig nu mod Vietnam, der allerede er ramt af massive oversvømmelser. Tyfon er betegnelsen for en tropisk cyklon dannet i det vestlige Stillehav.
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.