quantificatore esistenziale
Sign in to saveAlso known as exist, exists, there exists, there exists at least one, ∃, for some, for one or more, there exists one or more
un tipo di quantificatore che asserisce l'esistenza
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
- Subclass of
- quantifier
- Image
- Existential quantifier.svg
Show 2 more facts
- opposite of
- universal quantification
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Italiano
Il quantificatore esistenziale è un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del ∃ ha un'etimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o l'estensione di un' e con esistenziale il fatto che tale proposizione vale sempre almeno per un caso, che dunque esiste. La sua lettura matematica corrisponde a "esiste un/una", e la sua forma viene dalla lettera E maiuscola invertita, l'iniziale capovolta della parola inglese Exists.
Abstract from DBpedia / Wikipedia · CC BY-SA