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.
Forstå aktuelle begivenheder
Krigen i Ukraine
Krigen i Ukraine begyndte med Ruslands invasion af landet den 24. februar 2022. Baggrunden for krigen var Ukraine-konflikten, der havde stået på siden 2013.
Mellemøsten i krig
Få overblik over vigtige personer, begivenheder, krige og konflikter i Mellemøsten lige nu.
Kernevåben
Kernevåben er masseødelæggelsesvåben bestående af en kerneladning og et fremføringsmiddel. Kernevåben indgår i overvejelserne om et fælleseuropæisk forsvarssamarbejde.
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.