Also known as quantor, logical quantification, logical quantifier, quantification
pojęcie logiki pierwszego rzędu
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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).