한정사
변수가 적용되는 범위를 지정하는 논리 기호로, 모든 대상에 대해 성립함을 뜻하는 전칭 한정사(∀)와 조건을 만족하는 대상이 존재함을 뜻하는 존재 한정사(∃)가 있다. 복잡한 문장을 논리식으로 변환할 때 필수적인 요소이다.