10.12 드 모르간의 법칙

1. 절의 학술적 목표

본 절은 명제 논리의 드 모르간의 법칙(De Morgan’s laws)을 학술적으로 검토하는 것을 목표로 한다. 드 모르간의 법칙은 연언의 부정과 선언의 부정 사이의 관계를 표현하는 법칙이며, 명제 논리의 가장 중요한 동치 법칙 중 하나이다. 본 절은 드 모르간의 법칙의 정식화, 진리표적 검증, 역사적 배경, 부울 대수와의 대응, 응용, 학술적 의의를 체계적으로 정리한다.

2. 드 모르간의 법칙의 학술적 정의

드 모르간의 법칙은 연언의 부정이 각 성분의 부정의 선언과 동치이고, 선언의 부정이 각 성분의 부정의 연언과 동치임을 주장하는 법칙이다. 명제 논리에서 드 모르간의 법칙은 두 가지 형태로 정식화된다. 첫째, 연언의 부정 법칙: “¬(P ∧ Q) ≡ ¬P ∨ ¬Q”. 둘째, 선언의 부정 법칙: “¬(P ∨ Q) ≡ ¬P ∧ ¬Q”. 이 두 법칙은 모든 명제 P, Q에 대하여 성립한다(De Morgan, 1847).

3. 드 모르간의 역사적 배경

드 모르간의 법칙은 영국의 논리학자 아우구스투스 드 모르간(Augustus De Morgan)에 의하여 19세기 중반에 형식적으로 정식화되었다. 드 모르간은 『Formal Logic』(1847)에서 연언과 선언의 부정 사이의 관계를 체계적으로 논의하였다. 그러나 이 법칙의 원형은 이미 중세 스콜라 논리학에서 알려져 있었으며, 윌리엄 오컴(William of Ockham) 등의 저술에서 유사한 관계가 논의되었다. 드 모르간의 공헌은 이러한 관계를 대수적 형식으로 명시적으로 표현한 데 있다(De Morgan, 1847).

4. 연언의 부정에 대한 드 모르간의 법칙

연언의 부정에 대한 드 모르간의 법칙 “¬(P ∧ Q) ≡ ¬P ∨ ¬Q“는 다음과 같은 의미를 가진다. “P와 Q가 모두 참인 것은 아니다“라는 진술은 “P가 참이 아니거나 Q가 참이 아니다“라는 진술과 동치이다. 이 법칙은 연언의 부정을 선언의 형태로 변환할 수 있게 해 준다. 진리표적 검증은 다음과 같다.

¬(P ∧ Q) 열과 ¬P ∨ ¬Q 열의 모든 행이 일치하므로 이 법칙이 검증된다(Copi, Cohen, & McMahon, 2014).

5. 선언의 부정에 대한 드 모르간의 법칙

선언의 부정에 대한 드 모르간의 법칙 “¬(P ∨ Q) ≡ ¬P ∧ ¬Q“는 다음과 같은 의미를 가진다. “P 또는 Q 중 적어도 하나가 참인 것은 아니다“라는 진술은 “P가 참이 아니고 Q도 참이 아니다“라는 진술과 동치이다. 이 법칙은 선언의 부정을 연언의 형태로 변환할 수 있게 해 준다. 진리표적 검증은 다음과 같다.

¬(P ∨ Q) 열과 ¬P ∧ ¬Q 열의 모든 행이 일치하므로 이 법칙이 검증된다(Copi, Cohen, & McMahon, 2014).

6. 드 모르간의 법칙의 이중성

드 모르간의 법칙의 두 형태는 서로 이중(dual) 관계에 있다. 즉, 한 형태에서 연언을 선언으로, 선언을 연언으로 교환하면 다른 형태가 얻어진다. 이러한 이중성은 부울 대수의 쌍대 원리(duality principle)의 한 표현이다. 쌍대 원리에 의하면, 부울 대수의 어떤 법칙에서 ∧와 ∨를 교환하고 T와 F를 교환하면 또 다른 유효한 법칙이 얻어진다. 드 모르간의 법칙은 이 원리를 가장 명확하게 보여 주는 사례이다(Boole, 1854).

7. 드 모르간의 법칙의 일반화

드 모르간의 법칙은 임의의 자연수 n에 대하여 일반화될 수 있다. 즉, “¬(P₁ ∧ P₂ ∧ … ∧ Pₙ) ≡ ¬P₁ ∨ ¬P₂ ∨ … ∨ ¬Pₙ“이 성립하며, “¬(P₁ ∨ P₂ ∨ … ∨ Pₙ) ≡ ¬P₁ ∧ ¬P₂ ∧ … ∧ ¬Pₙ“도 성립한다. 이러한 일반화는 드 모르간의 법칙과 결합 법칙의 결합으로부터 수학적 귀납법으로 증명된다. 이 일반화는 여러 명제의 결합에 대한 부정의 분배를 가능하게 한다(Mendelson, 2015).

8. 드 모르간의 법칙과 부울 대수

드 모르간의 법칙은 부울 대수의 기본 법칙 중 하나이다. 부울 대수에서 임의의 두 원소 a와 b에 대하여 “(a ∧ b)’ = a’ ∨ b’“와 “(a ∨ b)’ = a’ ∧ b’“가 성립한다. 명제 논리의 드 모르간의 법칙은 부울 대수의 이 법칙과 정확히 대응한다. 이러한 대응은 명제 논리와 부울 대수의 동형 관계의 한 사례이며, 드 모르간의 법칙의 대수적 일반성을 보여 준다(Boole, 1854).

9. 드 모르간의 법칙과 집합론

드 모르간의 법칙은 집합론에서도 대응하는 법칙이 존재한다. 두 집합 A와 B에 대하여 “(A ∩ B)ᶜ = Aᶜ ∪ Bᶜ“와 “(A ∪ B)ᶜ = Aᶜ ∩ Bᶜ“가 성립한다. 여기서 Aᶜ는 A의 여집합이다. 이 집합론적 드 모르간의 법칙은 명제 논리의 드 모르간의 법칙과 정확히 대응하며, 두 이론이 부울 대수의 두 모델임을 보여 준다(Mendelson, 2015).

10. 드 모르간의 법칙의 응용

드 모르간의 법칙은 명제 논리의 분석과 추론에서 광범위하게 활용된다. 첫째, 그것은 공식의 단순화에서 부정을 안쪽으로 이동시키는 데 사용된다. 둘째, 그것은 정상 형식으로의 변환(연언 정상 형식과 선언 정상 형식)에서 핵심 단계이다. 셋째, 그것은 자연 언어의 부정 표현의 논리적 분석에 사용된다. 넷째, 그것은 디지털 회로 설계에서 논리 게이트의 변환에 활용된다. 다섯째, 그것은 자동 추론 시스템의 전처리 단계에서 사용된다(Shannon, 1938).

11. 드 모르간의 법칙의 단순화 예시

드 모르간의 법칙의 단순화 응용 예시는 다음과 같다. 공식 “¬(P ∧ ¬Q)“는 드 모르간의 법칙에 의하여 “¬P ∨ ¬¬Q“로 변환되고, 이중 부정 법칙에 의하여 “¬P ∨ Q“로 단순화된다. 마찬가지로 “¬(¬P ∨ ¬Q)“는 드 모르간의 법칙에 의하여 “¬¬P ∧ ¬¬Q“로 변환되고, 이중 부정 법칙에 의하여 “P ∧ Q“로 단순화된다. 이러한 변환은 부정의 범위를 조정함으로써 공식을 간결하게 만든다(Copi, Cohen, & McMahon, 2014).

12. 본 절의 결론적 정리

드 모르간의 법칙은 연언의 부정이 각 성분의 부정의 선언과 동치이고, 선언의 부정이 각 성분의 부정의 연언과 동치임을 주장하는 법칙이다. 두 형태는 “¬(P ∧ Q) ≡ ¬P ∨ ¬Q“와 “¬(P ∨ Q) ≡ ¬P ∧ ¬Q“로 정식화되며, 진리표 방법으로 직접 검증된다. 드 모르간의 법칙은 아우구스투스 드 모르간에 의하여 19세기 중반에 대수적 형식으로 명시적으로 표현되었으며, 부울 대수의 쌍대 원리의 대표적 사례이다. 이 법칙은 공식의 단순화, 정상 형식 변환, 자연 언어 분석, 디지털 회로 설계에서 핵심 도구로 사용되며, 집합론의 대응 법칙과 정확히 대응한다. 학습자는 드 모르간의 법칙의 정식화, 검증, 응용을 정확히 이해하고, 명제 논리적 분석에 활용할 수 있어야 한다.

13. 출처

• De Morgan, A. (1847). Formal Logic: or, The Calculus of Inference, Necessary and Probable. London: Taylor and Walton.
• 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.
• 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