Akademik

Quantificateur existentiel

Quantificateur existentiel symbole noté ∃ (s'énonçant « il existe »), exprimant le fait que certains éléments d'un ensemble (au moins un) vérifient une proposition, une propriété données.

Encyclopédie Universelle. 2012.