Existenzaussage
Aussage, in der behauptet wird, dass es mindestens ein Individuum (oder mindestens eine Klasse) mit einer bestimmten Eigenschaft gibt, bzw. dass mindestens ein Individuum (bzw. eine Klasse) in einer bestimmten Relation steht. Im Unterschied zu einer Allaussage wird diese Eigenschaft (bzw. Relation) nicht von allen Individuen (bzw. Klassen) eines bestimmten Bereichs ausgesagt. In der formalen Logik werden E.n mit Hilfe des Existenzoperators dargestellt: (∃x) A (x) – zu lesen als »Es gibt mindestens ein x, für das gilt: x besitzt die Eigenschaft A.«
MQ