Existenskvantifikator

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

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

Personliga verktyg