existentie

Also known as exist, exists, there exists, there exists at least one, ∃, for some, for one or more, there exists one or more

logical quantification stating that a statement holds for at least one object

Key facts

Type: Quantifier
Field: Mathematical logic
Statement: ∃ x P ( x ) {\displaystyle \exists xP(x)} is true when P ( x ) {\displaystyle P(x)} is true for at least one value of x {\displaystyle x} .
Symbolic statement: ∃ x P ( x ) {\displaystyle \exists xP(x)}

via Wikipedia infobox

Wikidata facts

Image: Existential quantifier.svg

Sources (2)

via Wikidata · CC0

Article · Nederlands

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.

Abstract from DBpedia / Wikipedia · CC BY-SA