Existenskvantifikator
| Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-06) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Existenskvantifikator eller Existenskvantor är ett begrepp inom predikatlogiken.
Beteckning: ∃.
Satsen "Det finns minst ett x för vilket predikatet P(x) gäller" skrivs
- <math>\exists x P(x) </math>
Negationen av en existenskvantifierad sats ger en allkvantifierad sats, negationen av "det finns minst en vit korp" är "alla korpar är icke-vita":
- <math>\nexists x P(x) = \forall{x} \neg P(x) </math>