Logik: Existentiell quantifizierte Aussage. Formuliert: "Für (mindestens) ein x gilt …", d.h. … gilt für ≥1 Element des Gegenstandbereiches