existenskvantifikator
existeʹnskvantifikaʹtor, uttryck som inom modern logik används för att säga att något gäller för åtminstone en individ i ett givet individområde.
Liksom vid användning av allkvantifikator placeras kvantifikatorn före en satsfunktion innehållande en (fri) variabel. Den sats som därvid uppstår är en existenssats. Existenskvantifikatorn skrivs vanligen med tecknet ∃ (ibland E) eller ∧ följt av variabeln ifråga. Exempel: utgående från satsfunktionen ”x är ett jämnt primtal” uttrycker man att det
Information om artikeln
Källangivelse