Wat betekent ∃
Minstens één waarde voldoet aan de voorwaarde. In ∃x P(x) is x een invulplek en geeft P(x) de voorwaarde aan; de formule vraagt of er een waarde is die eraan voldoet, zonder te zeggen welke.
De Italiaanse wiskundige Giuseppe Peano drukte deze omgekeerde E in 1897 af om aan te geven dat een klasse (een verzameling) minstens één element had. Zijn epsilon voor het behoren tot een verzameling uit 1889 (dat een object bij een verzameling hoort) was een ander teken, geen eerdere vorm van ∃. Bertrand Russell gebruikte ∃ later voor een variabele, zoals in formules van nu.
Formele notatie in de wiskunde en logica; in gewone berichten kan het lijken op onverklaarde vaktaal.
∃ betekent één of meer; voor precies één is ook een extra uniciteitsvoorwaarde nodig.
Onderdeel van de collectie
Niet verwarren met
1Collecties met ∃
1∃ typen of vinden
- Ook genoemd
- existentiële kwantor · omgekeerde E
- Zoek als
- symbool er bestaat · existentie · kwantor · ∃ in LaTeX
- Komt voor in
- Elk tekstveld · de vorm hangt af van je lettertype
∃\2203Codes en coderingCodepunten: 1
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.



