9.2 진리 함수의 개념
1. 절의 학술적 목표
본 절은 진리 함수(truth function)의 개념을 학술적으로 검토하는 것을 목표로 한다. 진리 함수는 명제의 진리값을 입력으로 받아 진리값을 출력하는 수학적 함수이며, 명제 논리 의미론의 근본 개념 중 하나이다. 본 절은 진리 함수의 형식적 정의, 주요 성질, 수학적 구조, 그리고 학술적 의의를 체계적으로 정리한다.
2. 진리 함수의 학술적 정의
진리 함수는 진리값의 집합 {T, F}(또는 {1, 0})에서 자기 자신으로의 함수이다. 형식적으로, n항 진리 함수는 f: {T, F}^n → {T, F}로 정의되며, n개의 진리값을 입력으로 받아 하나의 진리값을 출력한다. 이러한 함수는 명제의 의미 내용이 아닌 진리값만을 대상으로 한다(Post, 1921).
3. 진리 함수의 수학적 표현
진리 함수는 수학적 함수의 한 종류이며, 정의역과 치역이 유한 집합인 특수한 함수이다. n항 진리 함수의 정의역은 2^n개의 원소를 가지는 집합 {T, F}n이며, 치역은 {T, F}이다. 따라서 n항 진리 함수의 수는 2(2^n)이다. 예를 들어 이항 진리 함수는 16가지가 존재한다(Post, 1921).
4. 진리 함수의 열거
n이 작은 경우 진리 함수의 수를 구체적으로 열거할 수 있다. 0항 진리 함수(상수)는 2가지(T 또는 F), 단항 진리 함수는 4가지, 이항 진리 함수는 16가지, 삼항 진리 함수는 256가지이다. 이러한 열거는 명제 논리에서 고려되는 모든 가능한 연산을 체계적으로 파악하게 한다(Mendelson, 2015).
5. 단항 진리 함수
단항 진리 함수는 네 가지로 열거된다. 첫째, 항등 함수(f(P) = P). 둘째, 부정 함수(f(P) = ¬P). 셋째, 항상 참을 반환하는 상수 함수(f(P) = T). 넷째, 항상 거짓을 반환하는 상수 함수(f(P) = F). 이 중 명제 논리에서 기본 연산자로 채택되는 것은 부정이다(Enderton, 2001).
6. 이항 진리 함수
이항 진리 함수는 16가지로 열거되며, 각각 고유한 의미를 가진다. 그 중 명제 논리의 기본 연산자로 채택되는 것은 연언(∧), 선언(∨), 조건(→), 쌍조건(↔)이다. 기본 연산자에 포함되지 않는 다른 진리 함수들도 이론적으로 중요하며, 예를 들어 배타적 선언(⊕), 셰퍼의 막대(\vert), 피어스의 화살표(↓) 등이 있다(Post, 1921).
7. 진리 함수의 표현
진리 함수는 여러 방식으로 표현될 수 있다. 첫째, 진리표를 통한 표현으로, 입력 진리값의 모든 조합에 대한 출력값을 명시한다. 둘째, 논리식(logical formula)을 통한 표현으로, 명제 논리 공식으로 진리 함수를 표현한다. 셋째, 수학적 함수 표기를 통한 표현이다. 이러한 표현 방식들은 상호 변환 가능하다(Mendelson, 2015).
8. 진리 함수와 논리 연산자의 관계
명제 논리의 논리 연산자는 진리 함수와 동일한 개념으로 간주될 수 있다. 즉, 부정, 연언, 선언 등의 연산자는 각각 특정 진리 함수에 대응한다. 진리 함수는 수학적 관점의 표현이고, 논리 연산자는 논리학적 관점의 표현이지만, 본질적으로 동일한 대상을 가리킨다(Enderton, 2001).
9. 진리 함수의 합성
진리 함수들은 합성(composition)을 통하여 더 복잡한 진리 함수를 구성할 수 있다. 예를 들어 “f(g(P), h(P, Q))“와 같은 합성은 단순한 진리 함수들로부터 복잡한 진리 함수를 구성한다. 이러한 합성은 명제 논리의 복합 공식에 대응하며, 공식의 구성과 평가의 기본 원리이다(Mendelson, 2015).
10. 진리 함수의 기능적 완전성
어떤 진리 함수의 집합이 기능적으로 완전하다는 것은 그 집합의 함수들로부터 임의의 진리 함수를 구성할 수 있음을 의미한다. 에밀 포스트는 1921년의 논문에서 기능적 완전성에 관한 체계적 분석을 제시하였다. 그는 어떤 함수 집합이 기능적으로 완전한지 판정하는 기준을 확립하였으며, 이는 진리 함수 이론의 주요 결과이다(Post, 1921).
11. 진리 함수의 학술적 의의
진리 함수의 개념은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 명제 논리의 의미론을 수학적으로 엄밀하게 분석할 수 있는 기반을 제공한다. 둘째, 그것은 논리 연산자를 함수로 취급함으로써 수학적 방법을 논리학에 적용할 수 있게 한다. 셋째, 그것은 기능적 완전성, 합성, 분해 등의 수학적 개념을 논리적 분석에 도입한다. 넷째, 그것은 디지털 회로 설계, 컴퓨터 과학 등 응용 분야의 이론적 기반이 된다(Shannon, 1938).
12. 본 절의 결론적 정리
진리 함수는 진리값의 집합에서 자기 자신으로의 함수이며, 명제의 진리값을 대상으로 하는 수학적 연산이다. n항 진리 함수의 수는 2^(2^n)이며, 단항은 4개, 이항은 16개가 존재한다. 진리 함수는 진리표, 논리식, 수학적 표기로 표현될 수 있으며, 논리 연산자와 본질적으로 동일한 개념이다. 진리 함수의 합성과 기능적 완전성은 명제 논리의 표현력에 관한 이론적 기반을 제공한다. 학습자는 진리 함수의 개념을 정확히 이해하고, 이후의 논리 연산자 분석과 진리표 작성의 기반으로 활용하여야 한다.
13. 출처
- Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(3), 163–185.
- Shannon, C. E. (1938). A symbolic analysis of relay and switching circuits. Transactions of the American Institute of Electrical Engineers, 57(12), 713–723.
- Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). San Diego: Academic Press.
- Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.
14. 버전
- 문서 버전: 1.0
- 작성 기준일: 2026-04-15