10.7 항등 법칙

1. 절의 학술적 목표

본 절은 명제 논리의 항등 법칙(identity law)을 학술적으로 검토하는 것을 목표로 한다. 항등 법칙은 명제와 항진명제 또는 모순명제의 결합이 원래 명제와 동치임을 표현하는 법칙이며, 명제 논리의 기본 논리 법칙 중 하나이다. 본 절은 항등 법칙의 정식화, 진리표적 검증, 항등원의 개념, 응용, 학술적 의의를 체계적으로 정리한다.

2. 항등 법칙의 학술적 정의

항등 법칙은 명제 P와 항진명제 또는 모순명제의 결합이 원래 명제와 동치임을 주장하는 법칙이다. 명제 논리에서 항등 법칙은 두 가지 형태로 정식화된다. 첫째, 연언의 항등 법칙: “P ∧ T ≡ P”. 둘째, 선언의 항등 법칙: “P ∨ F ≡ P”. 여기서 T는 항상 참인 명제(항진명제), F는 항상 거짓인 명제(모순명제)이다. 이러한 법칙들은 모든 명제 P에 대하여 성립한다(Mendelson, 2015).

3. 연언의 항등 법칙

연언의 항등 법칙 “P ∧ T ≡ P“는 진리표로 직접 검증된다. T는 모든 진리값 할당에서 참이므로, “P ∧ T“의 진리값은 P의 진리값에 의하여 결정된다. P가 참이면 “P ∧ T“는 참이고, P가 거짓이면 “P ∧ T“는 거짓이다. 따라서 두 명제는 동치이다(Mendelson, 2015).

4. 선언의 항등 법칙

선언의 항등 법칙 “P ∨ F ≡ P“도 진리표로 직접 검증된다. F는 모든 진리값 할당에서 거짓이므로, “P ∨ F“의 진리값은 P의 진리값에 의하여 결정된다. P가 참이면 “P ∨ F“는 참이고, P가 거짓이면 “P ∨ F“는 거짓이다. 따라서 두 명제는 동치이다(Mendelson, 2015).

5. 항등원의 개념

항등 법칙은 항진명제 T와 모순명제 F가 각각 연언과 선언의 항등원(identity element)임을 보여 준다. 대수적으로 항등원은 어떤 연산에 대하여 다른 원소를 변화시키지 않는 원소이다. 예를 들어 산술의 곱셈에서 1은 항등원이고, 덧셈에서 0은 항등원이다. 명제 논리에서 T는 연언의 항등원이고, F는 선언의 항등원이다(Boole, 1854).

6. 항등 법칙의 진리표적 검증

연언의 항등 법칙에 대한 진리표적 검증의 예시는 다음과 같다.

P 열과 P ∧ T 열의 모든 행이 일치하므로 항등 법칙이 검증된다. 마찬가지로 선언의 항등 법칙도 진리표로 검증된다(Copi, Cohen, & McMahon, 2014).

7. 항등 법칙의 다른 형태

항등 법칙은 원래 명제 P가 자명한 의미에서 보존됨을 보여 주는 다른 형태로도 정식화될 수 있다. 첫째, “T ∧ P ≡ P“는 교환 법칙과 결합하여 항등 법칙의 다른 형태이다. 둘째, “F ∨ P ≡ P“도 같은 의미에서 항등 법칙의 다른 형태이다. 이러한 형태들은 항등원의 위치가 결과에 영향을 주지 않음을 반영한다(Mendelson, 2015).

8. 항등 법칙과 부울 대수

항등 법칙은 부울 대수의 기본 공리 중 하나이다. 부울 대수는 두 항등원(0과 1)을 가지는 대수적 구조이며, 두 이항 연산은 각각의 항등원에 대하여 항등 법칙을 만족한다. 명제 논리의 항등 법칙은 부울 대수의 항등 법칙과 정확히 대응한다. 이러한 대응은 명제 논리와 부울 대수의 동형 관계의 한 측면이다(Boole, 1854).

9. 항등 법칙의 응용

항등 법칙은 명제 논리의 분석과 추론에서 다양하게 활용된다. 첫째, 그것은 공식의 단순화에서 항진명제와 모순명제의 출현을 제거할 수 있게 한다. 둘째, 그것은 정상 형식으로의 변환에서 단순화의 한 단계이다. 셋째, 그것은 자동 추론 시스템에서 공식의 정규화에 사용된다. 넷째, 그것은 디지털 회로 설계에서 부울 함수의 단순화에 활용된다(Shannon, 1938).

10. 항등 법칙의 단순화 예시

항등 법칙의 단순화 응용 예시는 다음과 같다. 공식 “(P ∨ Q) ∧ T“는 항등 법칙 “P ∧ T ≡ P“의 일반화에 의하여 “P ∨ Q“로 단순화된다. 마찬가지로 “(P ∧ Q) ∨ F“는 항등 법칙 “P ∨ F ≡ P“의 일반화에 의하여 “P ∧ Q“로 단순화된다. 이러한 단순화는 공식의 길이를 줄이고 의미를 명료하게 한다(Copi, Cohen, & McMahon, 2014).

11. 항등 법칙의 학술적 의의

항등 법칙은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 항진명제와 모순명제의 대수적 역할을 명확히 한다. 둘째, 그것은 명제 논리의 항등원 개념을 형식화한다. 셋째, 그것은 공식의 단순화의 기본 도구가 된다. 넷째, 그것은 명제 논리와 부울 대수의 동형 관계의 한 사례이다. 다섯째, 그것은 자동 추론과 디지털 회로 설계의 기초가 된다(Enderton, 2001).

12. 본 절의 결론적 정리

항등 법칙은 명제와 항진명제 또는 모순명제의 결합이 원래 명제와 동치임을 주장하는 법칙이다. 연언의 항등 법칙은 “P ∧ T ≡ P“이고, 선언의 항등 법칙은 “P ∨ F ≡ P“이다. 항등 법칙은 진리표 방법으로 직접 검증되며, 항진명제 T와 모순명제 F가 각각 연언과 선언의 항등원임을 보여 준다. 항등 법칙은 공식의 단순화와 정상 형식 변환에서 핵심 도구로 사용된다. 학습자는 항등 법칙의 정식화, 검증, 응용을 정확히 이해하고, 명제 논리적 분석에 활용할 수 있어야 한다.

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