Betekenis - existentiekwantor

Een existentiekwantor is een logische operator die wordt gebruikt om aan te geven dat er minstens één element bestaat dat voldoet aan een bepaalde eigenschap. Het wordt meestal gebruikt in formele systemen zoals de logica van de eerste orde. Het bestaat uit twee delen: het kwantificerende voorschrift en het existentiële voorschrift. Het kwantificerende voorschrift geeft aan dat er minstens één element is dat voldoet aan de opgegeven eigenschap, terwijl het existentiële voorschrift aangeeft dat er geen andere elementen zijn die voldoen aan deze eigenschap.