10.9 동일성 법칙
1. 절의 학술적 목표
본 절은 명제 논리의 동일성 법칙(idempotent law)을 학술적으로 검토하는 것을 목표로 한다. 동일성 법칙은 같은 명제를 자기 자신과 결합한 결과가 원래 명제와 동치임을 표현하는 법칙이며, 명제 논리의 기본 논리 법칙 중 하나이다. 본 절은 동일성 법칙의 정식화, 진리표적 검증, 멱등성의 개념, 응용, 학술적 의의를 체계적으로 정리한다.
2. 동일성 법칙의 학술적 정의
동일성 법칙은 같은 명제를 자기 자신과 결합한 결과가 원래 명제와 동치임을 주장하는 법칙이다. 명제 논리에서 동일성 법칙은 두 가지 형태로 정식화된다. 첫째, 연언의 동일성 법칙: “P ∧ P ≡ P”. 둘째, 선언의 동일성 법칙: “P ∨ P ≡ P”. 이러한 법칙들은 모든 명제 P에 대하여 성립한다. 이 법칙은 멱등성(idempotence)이라고도 불린다(Mendelson, 2015).
3. 연언의 동일성 법칙
연언의 동일성 법칙 “P ∧ P ≡ P“는 진리표로 직접 검증된다. P가 참이면 “P ∧ P“도 참이고, P가 거짓이면 “P ∧ P“도 거짓이다. 따라서 “P ∧ P“의 진리값은 P의 진리값과 항상 일치하며, 두 명제는 동치이다. 이 법칙은 같은 명제의 반복적 결합이 정보를 추가하지 않음을 형식적으로 표현한다(Boole, 1854).
4. 선언의 동일성 법칙
선언의 동일성 법칙 “P ∨ P ≡ P“도 진리표로 직접 검증된다. P가 참이면 “P ∨ P“도 참이고, P가 거짓이면 “P ∨ P“도 거짓이다. 따라서 “P ∨ P“의 진리값은 P의 진리값과 항상 일치하며, 두 명제는 동치이다. 이 법칙도 같은 명제의 반복이 정보를 추가하지 않음을 보여 준다(Boole, 1854).
5. 멱등성의 개념
동일성 법칙은 연언과 선언이 멱등(idempotent) 연산임을 보여 준다. 대수적으로 연산 *가 멱등이라는 것은 임의의 원소 a에 대하여 a * a = a가 성립함을 의미한다. 명제 논리의 연언과 선언은 이 성질을 만족한다. 멱등성은 산술의 일반적 연산(덧셈, 곱셈)에서는 성립하지 않으며, 명제 논리의 두 기본 연산의 특징적 성질이다(Mendelson, 2015).
6. 동일성 법칙의 진리표적 검증
연언의 동일성 법칙에 대한 진리표적 검증의 예시는 다음과 같다.
| P | P ∧ P |
|---|---|
| T | T |
| F | F |
P 열과 P ∧ P 열의 모든 행이 일치하므로 동일성 법칙이 검증된다. 마찬가지로 선언의 동일성 법칙도 진리표로 검증된다(Copi, Cohen, & McMahon, 2014).
7. 동일성 법칙의 일반화
동일성 법칙은 임의의 자연수 n에 대하여 일반화될 수 있다. 즉, “P ∧ P ∧ … ∧ P”(n개의 P의 연언)는 P와 동치이며, “P ∨ P ∨ … ∨ P”(n개의 P의 선언)도 P와 동치이다. 이러한 일반화는 동일성 법칙과 결합 법칙의 결합으로부터 도출된다. 이 결과는 같은 명제의 반복이 결과를 변화시키지 않음을 일반적으로 보여 준다(Mendelson, 2015).
8. 동일성 법칙과 부울 대수
동일성 법칙은 부울 대수의 기본 성질 중 하나이다. 부울 대수의 두 이항 연산은 모두 멱등이며, 이는 명제 논리의 연언과 선언의 멱등성과 정확히 대응한다. 멱등성은 부울 대수와 일반적인 환(ring)을 구별하는 특징적 성질이다. 이러한 대응은 명제 논리와 부울 대수의 동형 관계의 한 측면이다(Boole, 1854).
9. 동일성 법칙과 산술의 대비
동일성 법칙은 산술의 연산과 명제 논리의 연산의 차이를 보여 준다. 산술의 덧셈에서는 a + a = 2a이며, 일반적으로 a와 동치가 아니다. 산술의 곱셈에서는 a × a = a²이며, 이 또한 a와 동치가 아니다. 그러나 명제 논리의 연언과 선언은 멱등이므로 이러한 변화가 일어나지 않는다. 이 차이는 명제 논리의 진리값이 누적되거나 곱해지지 않음을 반영한다(Boole, 1854).
10. 동일성 법칙의 응용
동일성 법칙은 명제 논리의 분석과 추론에서 다양하게 활용된다. 첫째, 그것은 공식의 단순화에서 중복된 명제의 출현을 제거할 수 있게 한다. 둘째, 그것은 정상 형식으로의 변환에서 단순화의 한 단계이다. 셋째, 그것은 자동 추론 시스템의 정규화에 사용된다. 넷째, 그것은 디지털 회로 설계에서 부울 함수의 단순화에 활용된다(Shannon, 1938).
11. 동일성 법칙의 학술적 의의
동일성 법칙은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 명제 논리의 기본 연산의 멱등성을 형식화한다. 둘째, 그것은 같은 명제의 반복이 정보를 추가하지 않음을 보여 준다. 셋째, 그것은 공식의 단순화의 기본 도구가 된다. 넷째, 그것은 명제 논리와 부울 대수의 동형 관계의 한 사례이다. 다섯째, 그것은 산술과 명제 논리의 차이를 보여 주는 특징적 성질이다(Enderton, 2001).
12. 본 절의 결론적 정리
동일성 법칙은 같은 명제를 자기 자신과 결합한 결과가 원래 명제와 동치임을 주장하는 법칙이다. 연언의 동일성 법칙은 “P ∧ P ≡ P“이고, 선언의 동일성 법칙은 “P ∨ P ≡ P“이다. 동일성 법칙은 진리표 방법으로 직접 검증되며, 명제 논리의 연언과 선언이 멱등 연산임을 보여 준다. 동일성 법칙은 공식의 단순화와 정상 형식 변환에서 활용되며, 산술 연산과의 본질적 차이를 보여 준다. 학습자는 동일성 법칙의 정식화, 검증, 응용을 정확히 이해하고, 명제 논리적 분석에 활용할 수 있어야 한다.
13. 출처
- Boole, G. (1854). An Investigation of the Laws of Thought. London: Walton and Maberly.
- 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.
- Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
- Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.
14. 버전
- 문서 버전: 1.0
- 작성 기준일: 2026-04-15