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
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.