범위(로직)

논리학에서 정량화 또는 정량화의 범위는 정량화가 "입력"되는 공식의 범위다.그것은 종종 괄호 안에 있는 정량기 바로 뒤에 놓인다.일부 저자들은 이것을 포올 또는 존재 기호 바로 뒤에 배치되는 변수를 포함하는 것으로 설명한다.예를 들어 $pxP$ 공식에서 $P$ (또는 $xP$ ^[1])는 정량자 $\forall x$ (또는 ∀)의 범위다.

공식의 변수는 해당 변수에 대한 정량자의 범위에서 발생하지 않는 경우에만 자유롭다.항은 공식의 변수에 대해 자유롭다(즉, 자유롭게 발생하는 변수를 자유롭게 대체할 수 있음), 해당 변수가 해당 항의 변수에 대해 계량자의 범위에서 자유롭게 발생하지 않는 경우에만 자유롭다.