File:QuantifierScopes_svg.svg · Wikimedia Commons · See Wikimedia Commons
kwantyfikator
Sign in to saveAlso known as quantor, logical quantification, logical quantifier, quantification
pojęcie logiki pierwszego rzędu
Wikidata facts
- Subclass of
- logical operator
- Has part
- universal quantification
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Polski
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu. Kwantyfikatory odgrywają ważną rolę w formułowaniu twierdzeń i definicji matematycznych.
Abstract from DBpedia / Wikipedia · CC BY-SA