Allkvantifikator

Från Rilpedia

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

Allkvantifikator eller Allkvantor är ett begrepp inom predikatlogiken.

Beteckning: \forall;.

Satsen "För alla x gäller predikatet P(x)" skrivs

\forall{x} P(x)

Negationen av en allkvantifierad sats ger en existenskvantifierad sats: Låt predikatet P(x) vara meningen 'Person x har en mamma.' Påstendet att varje person har en mamma kan skrivas med allkvantorn som: \forall x \, P(x).

Negationen av påståendet "Alla korpar är svarta." är påståendet "Det finns minst en korp som inte är svart.":

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

Se även

Personliga verktyg