Zakres (logika)
W logice zakres kwantyfikatora lub kwantyfikacji to zakres we wzorze , w którym kwantyfikator „zaangażuje się” . Jest umieszczany zaraz po kwantyfikatorze, często w nawiasach. Niektórzy autorzy opisują to jako włączenie zmiennej umieszczonej zaraz po symbolu forall lub istnieje. we wzorze ∀ xP , P (lub xP ) jest zakresem kwantyfikatora ∀ x (lub ∀ ).
Zmienna we wzorze jest dowolna wtedy i tylko wtedy, gdy nie występuje w zasięgu żadnego kwantyfikatora tej zmiennej. Termin gdy ta zmienna nie występuje swobodnie w zakresie żadnego kwantyfikatora dla żadnej zmiennej w wyrazie.