명제함수는 논리학·수리논리학에서 사용되는 개념으로, 변수들을 포함하고 있어 해당 변수에 구체적인 값을 대입하면 참(True) 또는 거짓(False)인 명제가 되는 식을 말한다. 변수에 따라 진리값이 결정되므로, 명제함수는 변수의 값에 따라 다른 명제를 생성하는 함수의 일종으로 이해된다.
정의
- 명제함수 $P(x_1, x_2, \dots, x_n)$는 $n$개의 변수 $x_1, x_2, \dots, x_n$을 포함하는 식이다.
- 각 변수에 특정 개체를 대입하면, 그 식은 명제가 되며, 이때의 진리값은 해당 대입에 따라 결정된다.
주요 특성
- 진리값의 의존성
- 변수에 대한 구체적 대입이 없을 때는 진리값이 정의되지 않는다.
- 양화와의 연관
- 전칭 양화($\forall$)·존재 양화($\exists$)와 결합하여 서술 논리(predicate logic)를 형성한다.
- 예: $\forall x; P(x)$는 “모든 $x$에 대해 $P(x)$가 참이다”라는 서술이 된다.
- 함수적 관점
- 논리학에서는 명제함수를 논리적 관계 혹은 서술자(predicate)라고도 부른다.
- 수학적 관점에서 보면, 명제함수는 정의역(변수의 가능한 값들의 집합)에서 ${ \text{참}, \text{거짓} }$으로 가는 함수와 동형이다.
사용 예시
- $P(x): x$는 짝수이다. → $x=4$를 대입하면 “4는 짝수이다”가 참이 되고, $x=5$를 대입하면 거짓이 된다.
- $Q(x, y): x < y$ → $x=2, y=5$를 대입하면 “2 < 5”가 참, $x=7, y=3$을 대입하면 거짓이 된다.
관련 용어
- 명제(proposition): 참·거짓이 명확히 구분되는 진술.
- 서술자( predicate ): 명제함수와 동등한 의미로 사용되는 용어.
- 양화사( quantifier ): $\forall, \exists$ 등, 명제함수와 결합하여 일반화된 명제를 만든다.
어원
- 명제(命題): “명(命)”은 ‘명령·명명’, “제(題)”는 ‘주제·문제’를 의미하며, 논리학에서는 ‘참·거짓이 정해진 진술’이라는 뜻으로 쓰인다.
- 함수(函數): 수학·컴퓨터 과학에서 입력값을 출력값으로 변환하는 규칙을 가리키는 용어이다.
- 두 단어가 결합된 “명제함수”는 “명제를 생성하는 함수”라는 의미를 갖는다.
참고
- 명제함수는 형식 논리 체계에서 기본적인 구조 요소이며, 수리논리학·인공지능·형식화 언어 이론 등 다양한 학문 분야에서 활용된다.
(본 내용은 일반적인 논리학·수리논리학 교재 및 공신력 있는 백과사전(예: 위키피디아, 한국수학학회 자료 등)에 근거한다.)
