Per ardua ad astra.

명제 함수와 한정자 명제의 정의에 따라 식 `x > 10` 은 `x` 값이 정해지지 않았으므로 진릿값을 판별할 수 없어 명제가 아니다. 그러나 `x` 의 값이나 범위가 주어진다면 진릿값을 판별할 수 있으므로 명제가 될 수 있다. 이와 같이 범위가 주어진 변수를 포함하는 명제를 명제 함수라 하고, 주어진 범위를 논의 영역이라고 한다. 명제 함수(Propositional Function : $P(x)$) 논의 영역이 주어진 변수 `x` 를 포함하여 진릿값을 판별할 수 있는 문장이나 수식 논의 영역(Domain of Discource : $D$) 명제 함수에 포함된 변수 `x` 의 범위나 값 명제 함수는 일반적으로 `P, Q, R, \codts` 과 같은 대문자와 명제 함수에 포함된 변수를 함께 표시한다. 명..