kwantyfikator egzystencjalny
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
Article · Polski
Kwantyfikator egzystencjalny, kwantyfikator mały, kwantyfikator szczegółowy – kwantyfikator oznaczający, że istnieje takie podstawienie zmiennej, dla którego dane twierdzenie (funkcja zdaniowa) jest prawdziwe. Stosuje się dwie postacie graficzne: (zapis ten jest związany z angielskim zwrotem „there exists”) oraz W obu przypadkach czyta się „istnieje takie dla którego zachodzi ”. Gdy formuła wymaga ustalenia zakresu dla zmiennej, np.: to używa się uproszczonej notacji: I czyta się „dla pewnego należącego do zbioru zachodzi ”. Jeżeli jest skończonym podzbiorem (niekoniecznie właściwym) argumentów to: Stosowany bywa również zapis: oznaczający „istnieje dokładnie jedno x z A, dla którego zachodzi ”. Zanegowany kwantyfikator egzystencjalny staje się kwantyfikatorem ogólnym i na odwrót:
Abstract from DBpedia / Wikipedia · CC BY-SA