9.13 우연명제의 개념

1. 절의 학술적 목표

본 절은 명제 논리에서 우연명제(contingent proposition)의 개념을 학술적으로 검토하는 것을 목표로 한다. 우연명제는 항진명제도 모순명제도 아닌 복합 명제이며, 적어도 하나의 진리값 할당에서 참이 되고 적어도 하나의 진리값 할당에서 거짓이 되는 명제이다. 본 절은 우연명제의 형식적 정의, 판별 방법, 주요 예시, 학술적 의의를 체계적으로 정리한다.

2. 우연명제의 학술적 정의

우연명제는 적어도 하나의 진리값 할당에서 참이고, 적어도 하나의 진리값 할당에서 거짓인 복합 명제이다. 형식적으로, 명제 A가 우연명제라는 것은 “v(A) = T인 진리값 할당 v가 존재하고, 동시에 v’(A) = F인 진리값 할당 v’도 존재한다“는 것을 의미한다. 우연명제의 진리값은 형식적 구조만으로는 결정되지 않으며, 구성 명제의 진리값에 의존한다(Mendelson, 2015).

3. 우연명제의 진리표적 특성

우연명제는 진리표에서 마지막 열에 T와 F가 모두 나타나는 공식이다. 즉, 어떤 행에서는 결과가 참이고 다른 행에서는 결과가 거짓이다. 이러한 특성은 우연명제를 진리표 방법으로 기계적으로 판정할 수 있게 한다. 진리표를 작성하여 마지막 열에 T와 F가 모두 있으면 그 공식은 우연명제이다(Copi, Cohen, & McMahon, 2014).

4. 항진·모순·우연명제의 분류

명제 논리의 모든 복합 명제는 진리값 할당에 따른 진리값의 분포에 의하여 세 가지 범주로 분류된다. 첫째, 항진명제는 모든 할당에서 참이다. 둘째, 모순명제는 모든 할당에서 거짓이다. 셋째, 우연명제는 어떤 할당에서는 참이고 어떤 할당에서는 거짓이다. 이 세 범주는 상호 배타적이며 망라적이다. 즉, 모든 복합 명제는 정확히 하나의 범주에 속한다(Mendelson, 2015).

5. 우연명제의 주요 예시: 단순 결합

가장 단순한 우연명제의 예시는 원자 명제 자체이다. 예를 들어 “P“는 P의 진리값이 T일 때 참이고 F일 때 거짓이므로 우연명제이다. 또한 “P ∧ Q“도 우연명제이며, P와 Q가 모두 참일 때만 참이고 그 외의 경우에는 거짓이다. “P ∨ Q”, “P → Q”, “P ↔ Q“도 모두 우연명제이며, 각각의 진리표는 T와 F를 모두 포함한다(Enderton, 2001).

6. 우연명제의 다른 예시

다양한 복합 공식이 우연명제의 예시가 된다. 첫째, “(P → Q) ∧ R“은 우연명제이며, 세 원자 명제의 특정 조합에서만 참이다. 둘째, “¬(P ∧ Q) ∨ R“도 우연명제이다. 셋째, “(P ↔ Q) → R“도 우연명제이다. 이러한 예시들은 우연명제가 복합 명제의 가장 일반적인 범주임을 보여 준다(Mendelson, 2015).

7. 우연명제와 충족 가능성

우연명제는 충족 가능(satisfiable)하지만 항진적(valid)이지는 않은 공식이다. 충족 가능성은 적어도 하나의 진리값 할당에서 참이 됨을 의미하고, 항진성은 모든 할당에서 참이 됨을 의미한다. 우연명제는 둘 사이의 중간 상태이다. 이러한 분류는 명제 논리의 의미론적 분석의 정밀성을 보여 준다(Enderton, 2001).

8. 우연명제와 정보 내용

우연명제는 정보 내용을 가지는 명제이다. 항진명제는 모든 할당에서 참이므로 어떤 정보도 제공하지 않으며, 모순명제는 어떤 할당에서도 참이 아니므로 일관성을 유지할 수 없다. 우연명제만이 가능한 진리값 할당의 범위를 좁힘으로써 의미 있는 정보를 전달한다. 이러한 관점은 명제 논리적 정보 이론의 기초가 된다(Bar-Hillel & Carnap, 1953).

9. 우연명제의 판정

복합 공식이 우연명제인지 판정하는 가장 기본적인 방법은 진리표를 작성하여 마지막 열을 검사하는 것이다. 마지막 열에 T와 F가 모두 있으면 우연명제이고, 모두 T이면 항진명제이며, 모두 F이면 모순명제이다. 이러한 판정 방법은 항상 종료되며, 명제 논리의 결정 가능성을 보여 준다(Post, 1921).

10. 우연명제와 자연 언어 명제

대부분의 자연 언어 명제는 우연명제로 형식화된다. “비가 온다”, “철수는 학생이다”, “오늘은 월요일이다” 등의 일상적 명제는 그 진리값이 사실에 의하여 결정되며, 형식적 구조만으로는 결정되지 않는다. 이러한 명제들은 진리값이 상황에 따라 달라질 수 있으므로 우연적이다. 항진명제와 모순명제는 일상 언어에서 상대적으로 드물게 나타난다(Copi, Cohen, & McMahon, 2014).

11. 우연명제의 학술적 의의

우연명제는 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 명제 논리에서 가장 일반적인 명제 범주이다. 둘째, 그것은 항진명제와 모순명제의 상호 보완적 개념을 제공한다. 셋째, 그것은 정보 내용을 가지는 명제의 형식적 표현이다. 넷째, 그것은 자연 언어 명제의 형식화에서 핵심적 역할을 한다(Enderton, 2001).

12. 본 절의 결론적 정리

우연명제는 적어도 하나의 진리값 할당에서 참이고 적어도 하나의 진리값 할당에서 거짓인 복합 명제이며, 항진명제와 모순명제 사이의 범주를 이룬다. 명제 논리의 모든 복합 명제는 항진명제, 모순명제, 우연명제 중 정확히 하나에 속한다. 우연명제는 진리표에서 마지막 열에 T와 F가 모두 나타나는 공식이며, 진리표 방법으로 기계적으로 판정될 수 있다. 우연명제는 정보 내용을 가지는 명제이며, 자연 언어의 일상적 명제가 이 범주에 속한다. 학습자는 우연명제의 정의와 판정 방법, 다른 두 범주와의 관계를 정확히 이해하고, 명제 논리적 분석에 활용할 수 있어야 한다.

13. 출처

• Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(3), 163–185.
• Bar-Hillel, Y., & Carnap, R. (1953). Semantic information. British Journal for the Philosophy of Science, 4(14), 147–157.
• 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