Allkvantifikator
Från Wikipedia
Allkvantifikator eller Allkvantor är ett begrepp inom predikatlogiken. Beteckning: 
;.
Satsen "För alla x gäller predikatet P(x)" skrivs
Negationen av en allkvantifierad sats ger en existenskvantifierad sats: Låt predikatet P(x) vara meningen 'Person x har en mamma.' Påstendet att varje person har en mamma kan skrivas med allkvantorn som: 
Negationen av påståendet "Alla korpar är svarta." är påståendet "Det finns minst en korp som inte är svart.":
