Existenskvantifikator

Version från den 28 maj 2009 kl. 20.39 av LA2-bot (Diskussion)

(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)

Texten från svenska Wikipedia

Existenskvantifikator eller Existenskvantor är ett begrepp inom predikatlogiken.

Beteckning: ∃.

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

$\exist{x} P(x)$

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

$\neg \exist{x} P(x) = \forall{x} \neg P(x)$

Se även