8.2 단순 명제와 복합 명제

1. 절의 학술적 목표

본 절은 단순 명제(simple proposition)와 복합 명제(compound proposition)의 개념을 학술적으로 구분하고 체계적으로 정리하는 것을 목표로 한다. 이 구분은 명제 논리의 기본 분석 단위를 결정하며, 이후의 구문론적·의미론적 분석의 기반을 이룬다. 본 절은 두 개념의 정의, 형식적 특성, 학술적 의의를 정리한다.

2. 단순 명제의 정의

단순 명제는 다른 명제를 구성 요소로 포함하지 않는 명제이다. 즉, 논리 연결사로 결합되지 않은 최소 단위의 명제이다. 단순 명제는 원자 명제(atomic proposition)라고도 불리며, 명제 논리에서 더 이상 논리적으로 분해되지 않는 기본 단위로 취급된다. 예를 들어 “소크라테스는 철학자이다“는 단순 명제이다(Copi, Cohen, & McMahon, 2014).

3. 복합 명제의 정의

복합 명제는 하나 이상의 단순 명제가 논리 연결사에 의하여 결합되어 구성된 명제이다. 복합 명제는 구성 명제의 진리값과 연결사의 진리값 함수에 의하여 진리값이 결정된다. 예를 들어 “소크라테스는 철학자이고 플라톤은 소크라테스의 제자이다“는 두 단순 명제가 연언에 의하여 결합된 복합 명제이다(Mendelson, 2015).

4. 단순 명제와 복합 명제의 구분 기준

두 유형의 구분 기준은 논리 연결사의 존재 여부이다. 단순 명제에는 논리 연결사가 포함되지 않으며, 복합 명제에는 하나 이상의 논리 연결사가 포함된다. 이 구분은 명제의 의미론적 복잡성이 아니라 논리적 구조에 기반한다. 따라서 의미적으로 복잡한 명제라도 논리 연결사가 없으면 단순 명제로 분류된다(Enderton, 2001).

5. 원자성의 개념

명제 논리에서 “원자성(atomicity)“은 논리적 분해 불가능성을 의미한다. 원자 명제는 명제 논리의 분석 수준에서 더 이상 분해되지 않는 단위이며, 그 내부 구조(주어, 술어 등)는 분석 대상이 아니다. 이러한 원자성은 명제 논리의 추상 수준을 결정하는 중요한 개념이다. 더 세밀한 분석은 술어 논리에서 이루어진다(Enderton, 2001).

6. 복합 명제의 구조적 분석

복합 명제는 구성 명제와 논리 연결사의 조합으로 이루어진다. 복합 명제의 구조는 구문 분석 나무(parse tree)로 표현될 수 있으며, 이는 명제의 논리적 구조를 시각적으로 명확히 한다. 예를 들어 “(P ∧ Q) → R“의 구조는 “P”, “Q“가 연언으로 결합되고, 그 결과가 “R“과 조건으로 연결되는 형태로 분석된다(Mendelson, 2015).

7. 주 연결사의 개념

복합 명제에서 주 연결사(main connective)는 해당 명제의 논리적 구조를 결정하는 최외부 연결사이다. 예를 들어 “(P ∧ Q) → R“의 주 연결사는 조건(→)이며, 전체 명제는 조건 명제로 분류된다. 주 연결사는 복합 명제의 진리값 계산과 논리적 분석에서 핵심적 역할을 한다(Copi, Cohen, & McMahon, 2014).

8. 복합 명제의 유형

복합 명제는 주 연결사에 따라 다음과 같이 분류된다. 첫째, 부정(¬)을 주 연결사로 하는 부정 명제. 둘째, 연언(∧)을 주 연결사로 하는 연언 명제. 셋째, 선언(∨)을 주 연결사로 하는 선언 명제. 넷째, 조건(→)을 주 연결사로 하는 조건 명제. 다섯째, 쌍조건(↔)을 주 연결사로 하는 쌍조건 명제. 이러한 분류는 복합 명제의 구조적 분석의 기초이다(Enderton, 2001).

9. 자연 언어와 형식 언어의 대응

자연 언어의 문장은 단순 명제나 복합 명제로 번역될 수 있다. 예를 들어 “비가 온다“는 단순 명제로, “비가 오고 바람이 분다“는 연언 복합 명제로 번역된다. 그러나 자연 언어의 일부 표현은 명제 논리로 완전히 번역되지 않을 수 있으며, 이 경우 더 정교한 형식 체계가 필요하다(Copi, Cohen, & McMahon, 2014).

10. 단순 명제의 진리값 결정

단순 명제의 진리값은 명제 논리의 내부에서 결정되지 않으며, 외부의 경험적·수학적·정의적 사실에 의하여 결정된다. 명제 논리는 단순 명제의 진리값을 주어진 것으로 전제하고, 이로부터 복합 명제의 진리값을 계산한다. 이러한 전제는 명제 논리가 내용 중립적(content-neutral) 체계임을 의미한다(Mendelson, 2015).

11. 복합 명제의 진리값 결정

복합 명제의 진리값은 구성 단순 명제의 진리값과 논리 연결사의 진리값 함수에 의하여 기계적으로 결정된다. 이러한 결정 방식은 진리 함수성(truth-functionality)이라고 하며, 고전 명제 논리의 기본 특성이다. 모든 고전 논리 연결사는 진리 함수적이며, 이는 진리표 분석을 가능하게 한다(Wittgenstein, 1921).

12. 본 절의 결론적 정리

단순 명제는 논리 연결사로 결합되지 않은 최소 단위의 명제이며, 복합 명제는 하나 이상의 논리 연결사에 의하여 결합된 명제이다. 두 유형의 구분은 명제 논리의 기본 분석 단위를 결정하며, 주 연결사의 개념은 복합 명제의 구조적 분석에 활용된다. 단순 명제의 진리값은 외부적으로 결정되고, 복합 명제의 진리값은 진리 함수성에 의하여 기계적으로 계산된다. 학습자는 이러한 개념을 정확히 이해하고, 이후의 구문론적·의미론적 분석의 기반을 마련하여야 한다.

13. 출처

• Wittgenstein, L. (1921). Logisch-philosophische Abhandlung. Annalen der Naturphilosophie, 14, 185–262.
• 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