kwantyfikator
Also known as quantor, logical quantification, logical quantifier, quantification
pojęcie logiki pierwszego rzędu
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