Lượng từ tồn tại
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
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
Connections
semantic theory of truth
Entity
logic
Entity
mathematical logic
Entity
quantifier
Entity
image
Entity
first-order logic
Entity
formal system
Entity
universal quantification
Entity
logical equivalence
Entity
logical truth
Entity
recursive set
Entity
constructive proof
Entity
semantics of logic
Entity
adjoint functor
Entity
structure
Entity
diagram
Entity
existential instantiation
Entity
ground expression
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity