Anh
existential quantifier
Đức
Existenzquantor
Pháp
quantificateur existentiel
Existenzquantor /IT-TECH/
[DE] Existenzquantor
[EN] existential quantifier
[FR] quantificateur existentiel
in der formalen Logik die Aussage »es gibt/es existiert«, wodurch behauptet wird, dass es mindestens einen Gegenstand gibt, dem eine bestimmte ausdrücklich genannte Kennzeichnung zukommt bzw. der unter einen ausdrücklich genannten Prädikator fällt. Statt der Bezeichnung »E.« kann auch die Bezeichnung «Einsquantor« verwendet werden. Existenz Existenzaussage, Quantor.
PP