Existentie
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.
Inhoud |
[bewerk] Declaratie
Het eerste gedeelte beschrijft de gebonden variabelen. Deze heten gebonden, aangezien deze alleen voor mogen komen binnen de haakjes van dit -predicaat. Buiten de haakjes is de waarde van zo'n variabele ongedefinieerd en dus onbruikbaar. Hier mogen meerdere variabelen tegelijkertijd gedeclareerd worden, doorgaans gescheiden door komma's.
[bewerk] Domein
In dit gedeelte vormt een predicaat het domein over de gebonden variabelen. Zo kan je de beperking opleggen: 
, dus in spreektaal: "voor alle natuurlijke getallen x". Wanneer het domein leeg is, d.w.z. de propositie die het domein beschrijft levert "onwaar" op, levert het predicaat met de existentiële kwantor altijd "onwaar" op, ongeacht de propositie die daarop volgt. Soms wordt het domein ook weggelaten, dan wordt uitgegaan van het domein "waar".
[bewerk] Propositie
Hier volgt ook een propositie die iets over alle elementen uit het beschreven domein zegt. Er kunnen hier ook alkwantoren of existentiele kwantoren in voorkomen, zodat je een geneste structuur krijgt. Variabelen die gedeclareerd zijn, zijn bruikbaar in geneste kwantoren, maar niet andersom!
[bewerk] Equivalentieregels
Domeinverzwakking: 
Domeinsplitsing: 
De Morgan: 
en 
[bewerk] Voorbeelden
De volgende uitspraak is waar: er is een reëel getal x zodanig dat x2 = 3. Dit geldt namelijk voor 
en 
. Wiskundigen noteren:
De volgende uitspraak is echter onjuist: er is een geheel getal z zodanig dat z2 = 3. In dit geval noteert men:
.
De volgende expressie is waar, aangezien er een natuurlijk getal bestaat dat gelijk is aan 1. 
:
De volgende expressie is onwaar, omdat het hier om een leeg domein gaat. Er is namelijk geen x die én een natuurlijk getal is én kleiner is dan 0. 
[bewerk] Kwantoreliminatie
Bij een eliminatieprobleem in zijn algemene vorm komt het erop aan, een gegeven logische uitspraak met kwantoren te vervangen door een gelijkwaardige uitspraak zonder kwantoren. In praktische problemen gaat het dan vaak over existentiële kwantoren.
De stelling van Tarski garandeert dat kwantoreliminatie mogelijk is voor elk stelsel van reële algebraïsche vergelijkingen en ongelijkheden.
