술어 논리는 대상에 관한 성질과 관계를 변수 및 한정자로 표현하는 논리 체계이다.
원리
P(x) 같은 술어와 모든 대상을 뜻하는 전칭, 어떤 대상이 존재함을 뜻하는 존재 한정자를 사용한다. 변수의 논의 영역을 정해야 의미가 명확해진다.
예시
모든 사용자는 식별자를 가진다는 문장과 어떤 사용자는 관리자라는 문장은 서로 다른 한정자를 사용한다.
주의할 점
모든 x에 대해 어떤 y가 존재한다는 것과 모든 x에 공통인 y 하나가 존재한다는 것은 다르다. 한정자의 순서와 부정할 때의 변환을 주의한다.