“$x$ is greater than 3”에서 $x$ 는 문장의 주어에 해당하는 변수이며, 나머지는 술어이다. 우리는 앞 문장을 $P(x)$ 로 표기할 수 있으며, 이느 명제함수 P에서