한정기호

술어와 한정기호

술어 "x는 3보다 크다."라는 문장을 보자. 이 문장은 두 부분으로 구성된다. 문장의 주어에 해당하는 "x", 그리고 술어(predicate)에 해당하는 "3보다 크다"가 있다. 문장 "x는 3보다 크다"라는 문장은 $P(x)$라고 표시할 수 있다. $P$는 술어를 , $x$는 변수를 나타낸다. $P(x)$는 명제함수(propositional function) $P$에서 $x$의 값이라고도 한다. 명제함수는 정의역(domain)에서 변수에 값이 할당되면 $P(x)$는 명제가 되고 진리값, 즉 참과 거짓을 판단할 수 있게 된다. 예) $P(x)$가 $x>3$일 때, $P(4)$의 진리값은 참이 된다. n개의 변수를 포함하는 명제함수는 $P(x_1, x_2, ..., x_n)$으로 표시하고, $P$를 n-..