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
Landbrugets forurening
En ekspertgruppe anbefaler, at grænseværdien for nitrat i drikkevandet bliver sænket. Det sker, efter det er blevet påvist, at nitrat øger risikoen for tarmkræft. Nitrat kommer fra den udvaskning af gødning, der forekommer i forbindelse med landbrug.
Curling
Danmark dyster i tre discipliner til vinter-OL i disse dage. Både skeleton, ishockey og curling. Curling er den eneste sportsgren, som Danmark har vundet medalje i til vinter-OL. Det skete i 1998, da kvindernes curlinghold vandt sølv.
Fastelavn
Fastelavn er én af årets store udklædningsfester. Danske børneinstitutioner er i vore dage bærende for traditionen, der tidligere var en flere dage lang fejring i forbindelse med fasten. I år er fastelavnssøndag den 15. februar.
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.