Kwantyfikator

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.

Kwantyfikatory odgrywają ważną rolę w formułowaniu twierdzeń i definicji matematycznych.

  1. kwantyfikator, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-11-21].

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne