9.5 선언의 정의와 진리표

1. 절의 학술적 목표

본 절은 명제 논리의 선언(disjunction) 연산자의 형식적 정의와 진리표를 학술적으로 검토하는 것을 목표로 한다. 선언은 두 명제를 결합하여 “둘 중 적어도 하나가 참“임을 주장하는 복합 명제를 산출하는 이항 진리 함수이며, 명제 논리의 기본 결합 연산 중 하나이다. 본 절은 표준 명제 논리에서 사용되는 포괄적 선언(inclusive disjunction)을 중심으로 정의, 기호, 진리표, 자연 언어 표현, 대수적 성질을 체계적으로 정리한다.

2. 선언의 학술적 정의

선언은 이항 진리 함수이며, 두 명제 중 적어도 하나가 참일 때 참을 산출하는 연산이다. 형식적으로, 두 명제 P와 Q에 대한 선언은 “P ∨ Q“로 표기되며, “P ∨ Q“가 거짓이 되기 위한 필요충분조건은 P가 거짓이고 Q도 거짓인 것이다. 이러한 정의는 표준 명제 논리에서 채택되는 포괄적 선언의 의미를 진리 함수적으로 규정한다(Enderton, 2001).

3. 선언의 기호

선언의 표준 기호는 “∨”(vee)이다. 이 기호는 라틴어 “vel”(또는)의 첫 글자에서 유래하였다. 대안적 기호로는 “+”(덧셈 기호)나 단순한 단어 “or“가 사용되기도 하지만, 현대 논리학에서는 “∨“가 표준으로 정착되었다. 화이트헤드와 러셀의 “Principia Mathematica“에서 “∨” 기호의 사용이 확립되었다(Russell & Whitehead, 1910–1913).

4. 선언의 진리표

선언의 진리표는 다음과 같다.

이 진리표는 선언의 의미를 완전히 규정한다. 두 입력 명제가 모두 거짓인 경우에만 결과가 거짓이며, 그 외의 모든 경우에는 결과가 참이다. 선언은 진리값의 최대(maximum) 연산으로 해석될 수 있으며, T를 1, F를 0으로 두면 P ∨ Q의 값은 max(P, Q)와 일치한다(Mendelson, 2015).

5. 선언의 자연 언어 표현

선언은 자연 언어의 여러 표현에 대응한다. 한국어에서 “또는”, “이거나”, “혹은” 등의 표현이 선언으로 번역된다. 영어의 “or“와 라틴어의 “vel“이 대표적인 대응 표현이다. 예를 들어 “비가 온다 또는 눈이 온다“는 P를 “비가 온다”, Q를 “눈이 온다“로 두면 “P ∨ Q“로 표기된다(Copi, Cohen, & McMahon, 2014).

6. 포괄적 의미와 배타적 의미

자연 언어의 “또는“은 두 가지 해석을 가질 수 있다. 첫째, 포괄적 해석(inclusive interpretation)은 두 명제 중 적어도 하나가 참이면 참으로 간주하며, 둘 다 참인 경우도 포함한다. 둘째, 배타적 해석(exclusive interpretation)은 두 명제 중 정확히 하나만 참일 때 참으로 간주한다. 표준 명제 논리의 “∨“는 포괄적 의미로 정의되며, 배타적 의미는 별도의 연산자(⊕)로 다루어진다(Quine, 1982).

7. 선언의 교환 법칙

선언은 교환 법칙을 만족한다. 즉, “P ∨ Q ≡ Q ∨ P“가 성립한다. 두 표현의 진리값은 모든 진리값 할당에 대하여 동일하며, 이는 진리표의 대칭성으로부터 직접 확인된다. 교환 법칙은 선언의 형식적 조작에서 자유롭게 활용된다(Mendelson, 2015).

8. 선언의 결합 법칙

선언은 결합 법칙을 만족한다. 즉, “(P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)“이 성립한다. 따라서 세 명제 이상의 선언에서는 괄호의 위치를 자유롭게 변경할 수 있으며, 관행적으로 “P ∨ Q ∨ R“과 같이 괄호를 생략하여 표기하기도 한다. 결합 법칙은 다항 선언의 표기를 단순화한다(Mendelson, 2015).

9. 선언의 멱등 법칙

선언은 멱등 법칙을 만족한다. 즉, “P ∨ P ≡ P“가 성립한다. 같은 명제를 자기 자신과 선언하면 원래 명제와 동치가 된다. 이는 선언이 진리값의 최대를 산출하는 함수임을 반영하는 성질이다(Enderton, 2001).

10. 선언과 다른 연산자의 관계

선언은 다른 논리 연산자와 여러 동치 관계를 통하여 연결된다. 첫째, 드 모르간 법칙: “¬(P ∨ Q) ≡ (¬P ∧ ¬Q)”. 둘째, 분배 법칙: “P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)”. 셋째, 흡수 법칙: “P ∨ (P ∧ Q) ≡ P”. 넷째, 조건과의 관계: “(P → Q) ≡ (¬P ∨ Q)”. 이러한 관계들은 선언을 포함하는 공식의 변형과 단순화에 활용된다(De Morgan, 1847).

11. 선언과 항진·모순

선언은 항진명제 및 모순명제와 다음과 같은 관계를 가진다. 첫째, 임의의 명제 P에 대하여 “P ∨ T ≡ T“가 성립한다(여기서 T는 항상 참인 명제). 둘째, “P ∨ F ≡ P“가 성립한다(여기서 F는 항상 거짓인 명제). 셋째, “P ∨ ¬P ≡ T“가 성립하며, 이는 배중률의 직접적 결과이다. 이러한 성질들은 공식 단순화의 기본 규칙을 이룬다(Mendelson, 2015).

12. 본 절의 결론적 정리

선언은 이항 진리 함수이며, 두 명제 중 적어도 하나가 참일 때 참을 산출하는 연산이다. 표준 명제 논리에서 채택되는 포괄적 선언의 진리표는 네 가지 진리값 할당에 대하여 한 가지 경우(P와 Q가 모두 거짓)에만 거짓을 산출한다. 선언은 교환 법칙, 결합 법칙, 멱등 법칙을 만족하며, 드 모르간 법칙과 분배 법칙을 통하여 다른 논리 연산자와 연결된다. 자연 언어의 “또는“은 포괄적 해석과 배타적 해석을 가질 수 있으며, 표준 명제 논리는 포괄적 의미를 채택한다. 학습자는 선언의 형식적 정의와 성질을 정확히 이해하고, 복합 명제의 분석에 활용할 수 있어야 한다.

13. 출처

• De Morgan, A. (1847). Formal Logic: or, The Calculus of Inference, Necessary and Probable. London: Taylor and Walton.
• Russell, B., & Whitehead, A. N. (1910–1913). Principia Mathematica (Vols. 1–3). Cambridge: Cambridge University 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