existence

zn. bestaan, werkelijkheid; leven

Existentie betekent in de wiskunde en logica dat een eigenschap voor minstens één element van een verzameling geldt. De bijbehorende existentiekwantor wordt genoteerd als .De existentiekwantor bestaat uit drie delen:Declaratie van gebonden variabelen;Specificatie van het domein;Propositie.Deze zullen hieronder uitvoeriger beschreven worden.
Zie meer op Wikipedia.org...