existential quantification (Q773483)
Jump to navigation
Jump to search
logical quantification stating that a statement holds for at least one object
- exist
- exists
- there exists
- there exists at least one
- ∃
- for some
- for one or more
- there exists one or more
- existential quantifier
- existential
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | existential quantification |
logical quantification stating that a statement holds for at least one object |
|
Statements
exists
there exists
0 references
Identifiers
1 reference
Quantificatore esistenziale
2013
0 references
Sitelinks
Wikipedia(26 entries)
- cawiki Quantificador existencial
- cswiki Existenční kvantifikátor
- dawiki Eksistenskvantor
- dewiki Existenzaussage
- enwiki Existential quantification
- eowiki Ekzista kvantizanto
- eswiki Cuantificador existencial
- etwiki Olemasolukvantor
- fawiki سور وجودی
- fiwiki Eksistenssikvanttori
- frwiki Quantification existentielle
- hywiki Գոյության քվանտոր
- idwiki Kuantifikasi eksistensial
- itwiki Quantificatore esistenziale (simbolo)
- jawiki 存在記号
- kowiki 존재 양화사
- nlwiki Existentie
- plwiki Kwantyfikator egzystencjalny
- ptwiki Quantificação existencial
- ruwiki Квантор существования
- simplewiki Existence quantifier
- skwiki Existenčný kvantifikátor
- svwiki Existenskvantifikator
- thwiki ตัวบ่งปริมาณสำหรับตัวมีจริง
- ukwiki Квантор існування
- zhwiki 存在量化