9.6 포괄적 선언과 배타적 선언의 구분

1. 절의 학술적 목표

본 절은 선언 연산의 두 가지 형태인 포괄적 선언(inclusive disjunction)과 배타적 선언(exclusive disjunction)의 구분을 학술적으로 검토하는 것을 목표로 한다. 두 선언은 자연 언어의 “또는“이라는 동일한 표현에 대응할 수 있지만, 진리 함수적 관점에서 명확히 구별되는 연산이다. 본 절은 두 선언의 정의, 진리표, 기호, 자연 언어와의 관계, 형식적 변환을 체계적으로 정리한다.

2. 포괄적 선언의 정의

포괄적 선언은 두 명제 중 적어도 하나가 참일 때 참을 산출하는 이항 진리 함수이다. 형식적으로 “P ∨ Q“로 표기되며, P와 Q가 모두 참인 경우를 포함하여 적어도 하나가 참이면 결과가 참이다. 표준 명제 논리의 기본 연산자는 포괄적 선언이며, 라틴어 “vel“의 의미에 대응한다(Enderton, 2001).

3. 배타적 선언의 정의

배타적 선언은 두 명제 중 정확히 하나만 참일 때 참을 산출하는 이항 진리 함수이다. 형식적으로 “P ⊕ Q” 또는 “P ⊻ Q“로 표기되며, 두 명제가 모두 참이거나 모두 거짓인 경우에는 거짓을 산출한다. 라틴어 “aut“의 의미에 대응하며, 일상 언어의 “이것 아니면 저것” 또는 “둘 중 하나” 표현과 가깝다(Quine, 1982).

4. 두 선언의 진리표 비교

포괄적 선언과 배타적 선언의 진리표는 다음과 같이 비교된다.

두 선언은 P와 Q가 모두 참인 경우에만 진리값이 다르다. 포괄적 선언은 T를 산출하지만, 배타적 선언은 F를 산출한다. 다른 세 가지 진리값 할당에서는 두 선언의 결과가 동일하다(Mendelson, 2015).

5. 두 선언의 기호

포괄적 선언의 표준 기호는 “∨“이며, 라틴어 “vel“에서 유래하였다. 배타적 선언의 표준 기호는 “⊕” 또는 “⊻“이며, 문헌에 따라 “XOR“이라는 약어가 사용되기도 한다. 컴퓨터 과학 분야에서는 “⊕“가 흔히 사용되며, 디지털 회로 설계에서 배타적 선언은 핵심 게이트 중 하나이다(Shannon, 1938).

6. 자연 언어의 “또는“의 모호성

자연 언어의 “또는“은 포괄적 의미와 배타적 의미 사이에서 모호할 수 있다. 예를 들어 “커피 또는 차를 드시겠습니까?“는 일반적으로 배타적 의미로 해석되지만, “지원자는 학사 학위 또는 동등한 경력을 가져야 한다“는 포괄적 의미로 해석된다. 이러한 모호성은 맥락에 의하여 해소되며, 형식 논리에서는 명시적 기호로 두 의미를 구별한다(Grice, 1975).

7. 표준 명제 논리의 선택

표준 명제 논리는 포괄적 선언을 기본 연산자로 채택한다. 그 이유는 다음과 같다. 첫째, 포괄적 선언은 수학적 표현에서 더 자주 사용된다. 둘째, 포괄적 선언은 다른 기본 연산자와 함께 더 단순한 대수적 성질을 만족한다. 셋째, 배타적 선언은 포괄적 선언과 다른 연산자의 조합으로 표현될 수 있다(Mendelson, 2015).

8. 배타적 선언의 형식적 표현

배타적 선언은 표준 명제 논리의 기본 연산자들을 이용하여 표현될 수 있다. 첫째, “P ⊕ Q ≡ (P ∨ Q) ∧ ¬(P ∧ Q)“로 표현된다. 둘째, “P ⊕ Q ≡ (P ∧ ¬Q) ∨ (¬P ∧ Q)“로도 표현된다. 셋째, “P ⊕ Q ≡ ¬(P ↔ Q)“로 쌍조건의 부정으로도 표현될 수 있다. 이러한 동치 관계는 배타적 선언이 표준 연산자 집합의 표현력 안에 포함됨을 보여 준다(Enderton, 2001).

9. 배타적 선언의 대수적 성질

배타적 선언은 다음과 같은 대수적 성질을 가진다. 첫째, 교환 법칙: “P ⊕ Q ≡ Q ⊕ P”. 둘째, 결합 법칙: “(P ⊕ Q) ⊕ R ≡ P ⊕ (Q ⊕ R)”. 셋째, 자기 역원 성질: “P ⊕ P ≡ F”. 넷째, 항등원 성질: “P ⊕ F ≡ P”. 다섯째, “P ⊕ T ≡ ¬P”. 이러한 성질들은 배타적 선언이 이진수의 모듈로 2 덧셈과 동일한 구조를 가짐을 보여 준다(Shannon, 1938).

10. 두 선언의 응용 차이

포괄적 선언과 배타적 선언은 응용 분야에서 서로 다른 역할을 한다. 포괄적 선언은 수학적 정의와 논리적 추론에서 주로 사용된다. 배타적 선언은 디지털 회로, 암호학, 오류 검출 코드 등에서 핵심적 역할을 한다. 예를 들어 패리티 검사(parity check)와 일회용 패드(one-time pad) 암호는 배타적 선언의 자기 역원 성질을 활용한다(Shannon, 1948).

11. 두 선언의 구분의 학술적 의의

포괄적 선언과 배타적 선언의 구분은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 자연 언어의 모호성을 형식적으로 해소하는 사례이다. 둘째, 그것은 진리 함수적 분석의 정밀성을 보여 준다. 셋째, 그것은 논리적 표현과 자연 언어 표현의 차이를 명확히 한다. 넷째, 그것은 형식 논리와 응용 분야의 연결 지점을 제공한다(Copi, Cohen, & McMahon, 2014).

12. 본 절의 결론적 정리

포괄적 선언과 배타적 선언은 두 명제 중 적어도 하나가 참일 때, 그리고 정확히 하나만 참일 때 각각 참을 산출하는 두 가지 이항 진리 함수이다. 두 선언은 P와 Q가 모두 참인 경우의 진리값에서만 차이를 보인다. 표준 명제 논리는 포괄적 선언을 기본 연산자로 채택하며, 배타적 선언은 표준 연산자의 조합으로 표현될 수 있다. 자연 언어의 “또는“은 두 의미 사이에서 모호할 수 있으며, 형식 논리는 명시적 기호로 두 의미를 구별한다. 학습자는 두 선언의 차이를 정확히 이해하고, 자연 언어를 형식 언어로 번역할 때 적절한 연산자를 선택할 수 있어야 한다.

13. 출처

• Shannon, C. E. (1938). A symbolic analysis of relay and switching circuits. Transactions of the American Institute of Electrical Engineers, 57(12), 713–723.
• Shannon, C. E. (1948). A mathematical theory of communication. Bell System Technical Journal, 27(3), 379–423.
• Grice, H. P. (1975). Logic and conversation. In P. Cole & J. L. Morgan (Eds.), Syntax and Semantics, Volume 3: Speech Acts (pp. 41–58). New York: Academic Press.
• Quine, W. V. O. (1982). Methods of Logic (4th ed.). Cambridge, MA: Harvard University Press.
• 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