Existenskvantifikator

Existenskvantifikator eller Existenskvantor är ett begrepp inom predikatlogiken.

Beteckning: ∃.

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

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

Se även

Media som används på denna webbplats

Question book-4.svg
Författare/Upphovsman: Tkgd2007, Licens: CC BY-SA 3.0
A new incarnation of Image:Question_book-3.svg, which was uploaded by user AzaToth. This file is available on the English version of Wikipedia under the filename en:Image:Question book-new.svg