kvantifikationer
Kvantifikationer, eller kvantorer, är logiska operatorer som anger hur många objekt i en given domän som uppfyller ett påstående. I formell logik används två huvudsakliga kvantifikationer: den universella kvantifikationen och den existensiella kvantifikationen. Den universella kvantifikationen betecknas med ∀ och uttrycket ∀x P(x) läses 'för alla x gäller P(x)'. Den existensiella kvantifikationen betecknas med ∃ och uttrycket ∃x P(x) läses 'det finns ett x sådant att P(x) gäller'. Dessa kvantifikationer binder variabler i påståenden (predikater) och har räckvidd (scope) över en del av en sats.
I första ordningens logik används kvantifikationer tillsammans med predikat och logiska operatorer för att uttrycka bland
Negation av kvantifikationer följer lagar som ¬∀x P(x) = ∃x ¬P(x) och ¬∃x P(x) = ∀x ¬P(x). För
Användningen av kvantifikationer är central inom matematik, datavetenskap, kunskapsrepresentation och naturlig språkbehandling och utgör en grundläggande