Einsquantor
auch Manchquantor. »es ist«/»es existiert«, symbolisiert durch »V« oder »∃«, dient in der formalen Logik zur Symbolisierung von Existenzaussagen, in denen behauptet wird, dass es mindestens einen Gegenstand gibt, dem ein bestimmtes, ausdrücklich benanntes Kennzeichen zugeschrieben werden kann, bzw. der unter einen ausdrücklich benannten Prädikator fällt.
PP