Existenskvantifikator

Mall:Källor Existenskvantifikator eller Existenskvantor är ett begrepp inom predikatlogiken.

Beteckning: ∃.

Satsen "Det finns minst ett x för vilket predikatet P(x) gäller" skrivs

$\mathrm{\exists }xP(x)$

Negationen av en existenskvantifierad sats ger en allkvantifierad sats, negationen av "det finns minst en vit korp" är "alla korpar är icke-vita":

$\nexists xP(x)=\mathrm{\forall }x\mathrm{\neg }P(x)$

Se även

• Allkvantifikator
• Kvantifikator