Kwantyfikator
Z Wikipedii, wolnej encyclopedia
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych[1], a także odpowiadającym im symbolom wiążącym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu.
Ten artykuł od 2010-11 wymaga zweryfikowania podanych informacji. |
Kwantyfikatory odgrywają ważną rolę w formułowaniu twierdzeń i definicji matematycznych.