Existentie
Uit Wikipedia, de vrije encyclopedia
Existentie betekent in de wiskunde en logica dat een eigenschap voor minstens één element van een verzameling geldt. De bijbehorende existentiekwantor wordt genoteerd als .
Voor het filosofische begrip existentie, zie Bestaan
De existentiekwantor bestaat uit drie delen:
- Declaratie van gebonden variabelen;
- Specificatie van het domein;
- Propositie.
Deze zullen hieronder uitvoeriger beschreven worden.