kvantifikatorerna
Kvantifikatorerna är en grundläggande komponent inom logik och lingvistik som anger över vilka element i en given domän ett påstående gäller. De används för att uttrycka generella påståenden och existensvillkor och förekommer i formella system såväl som i vardagligt språk.
De två mest centrala kvantifikatorerna är universell kvantifiering, betecknad med symbolen ∀ och läsbar som "för alla",
Negation och skop är centrala för kvantifikatorernas logik. De två vanliga identiteterna är: ¬∀x P(x) är logiskt
I naturligt språk används även generaliserade kvantifikatorer som "de flesta", "många", "få", "inget" med mera. Dessa
Historia och användning: begreppet kvantifikator går tillbaka till utvecklingen av predikatlogik under 1800- och 1900-talen, med