11.10 조건 제거 규칙

11.10 조건 제거 규칙

1. 절의 학술적 목표

본 절은 자연 연역 체계의 조건 제거 규칙(conditional elimination rule, →E)을 학술적으로 검토하는 것을 목표로 한다. 조건 제거 규칙은 조건 공식과 그 전건으로부터 후건을 도출하는 추론 규칙이며, 전통적으로 전건 긍정(modus ponens)이라 불리는 추론의 형식화이다. 본 절은 조건 제거 규칙의 정식화, 역사적 배경, 의미론적 정당화, 적용, 예시, 학술적 의의를 체계적으로 정리한다.

2. 조건 제거 규칙의 학술적 정의

조건 제거 규칙은 조건 “A → B“와 전건 A가 모두 증명되었을 때, 후건 B를 도출할 수 있음을 규정하는 규칙이다. 이 규칙은 조건 연결자 “→“를 전제에서 제거하여 후건 B를 얻는 규칙이며, 조건의 분해 조건을 형식화한다. 조건 제거 규칙은 전통 논리학의 전건 긍정과 동일한 추론 형식이며, 자연 연역 체계에서 가장 자주 사용되는 규칙 중 하나이다(Gentzen, 1935).

3. 조건 제거 규칙의 표준 표기

조건 제거 규칙의 표준 표기는 다음과 같다.

A → B   A
───────── (→E)
    B

가로줄 위의 “A → B“와 A는 전제이고, 가로줄 아래의 B는 결론이다. “→E“는 규칙의 이름이며, 전건 긍정의 자연 연역 표기이다(Gentzen, 1935).

4. 조건 제거 규칙의 역사적 배경

조건 제거 규칙은 전건 긍정이라는 이름으로 고대로부터 알려져 왔다. 스토아 학파의 논리학자 크리시포스(Chrysippus)는 전건 긍정을 첫 번째 “논증 불가능한 것(anapodeictic)“으로 분류하였으며, 이는 더 이상 증명이 필요 없는 기본적 추론 형식으로 간주되었다. 중세 스콜라 논리학에서 이 추론 형식은 “modus ponendo ponens” 또는 간단히 “modus ponens“로 불리게 되었으며, 근대 형식 논리에 이르기까지 기본적 추론 규칙으로 유지되었다(Mates, 1961).

5. 조건 제거 규칙의 의미론적 정당화

조건 제거 규칙은 조건의 진리 함수적 정의에 의하여 정당화된다. 조건 “A → B“는 A가 참이면 B도 참임을 보장한다. 따라서 “A → B“가 참이고 A도 참이라면, B도 반드시 참이다. 이는 조건의 진리표에서 A가 참이고 B가 거짓인 경우에만 “A → B“가 거짓이므로, “A → B“와 A가 모두 참인 경우는 B가 참인 경우뿐임을 의미한다. 이러한 정당화는 조건 제거 규칙이 타당한 추론 규칙임을 보장한다(Mendelson, 2015).

6. 조건 제거 규칙과 조건 도입 규칙의 조화

조건 제거 규칙은 조건 도입 규칙과 조화 원리에 의하여 대응한다. 조건 도입 규칙은 A의 가정 하에서 B가 도출될 때 “A → B“를 구성하는 방법을 제공하고, 조건 제거 규칙은 “A → B“와 A로부터 B를 추출하는 방법을 제공한다. 두 규칙의 결합은 조건의 의미를 완전히 정의한다. 특히, 조건 도입 직후에 조건 제거가 적용되면 원래의 도출로 돌아가므로, 두 단계는 정상화 과정에서 환원된다(Prawitz, 1965).

7. 조건 제거 규칙의 단순 적용 예시

조건 제거 규칙의 단순 적용 예시는 다음과 같다. 전제로 “P → Q“와 “P“가 주어졌을 때, 조건 제거 규칙을 적용하여 “Q“를 도출한다.

1. P → Q      (전제)
2. P          (전제)
3. Q          (1, 2, →E)

괄호 안의 “1, 2, →E“는 결론이 1행과 2행에 조건 제거 규칙을 적용하여 얻어졌음을 의미한다(Copi, Cohen, & McMahon, 2014).

8. 조건 제거 규칙의 연쇄 적용

조건 제거 규칙은 연쇄적으로 적용되어 조건의 추이성(가설적 삼단논법)을 증명할 수 있다. 전제로 “P → Q”, “Q → R”, “P“가 주어졌을 때, “R“을 도출하는 증명은 다음과 같다.

1. P → Q      (전제)
2. Q → R      (전제)
3. P          (전제)
4. Q          (1, 3, →E)
5. R          (2, 4, →E)

이 증명은 조건 제거 규칙이 두 번 연속 적용되어 연쇄적 추론을 구성하는 방법을 보여 준다(Mendelson, 2015).

9. 가설적 삼단논법의 증명

조건 제거 규칙과 조건 도입 규칙을 결합하여 가설적 삼단논법 “P → Q, Q → R ⊢ P → R“의 자연 연역 증명을 구성할 수 있다.

1. P → Q      (전제)
2. Q → R      (전제)
3. [P]        (가정)
4. Q          (1, 3, →E)
5. R          (2, 4, →E)
6. P → R      (3-5, →I)

이 증명은 가정 P의 도입, 조건 제거 규칙의 연쇄 적용, 가정의 해소를 통한 조건 도입 규칙의 적용을 포함한다. 가설적 삼단논법은 조건 제거 규칙과 조건 도입 규칙의 결합으로 유도되는 전형적 파생 규칙이다(Copi, Cohen, & McMahon, 2014).

10. 조건 제거 규칙과 복잡한 증명

조건 제거 규칙은 다른 추론 규칙과 결합되어 복잡한 증명을 구성할 수 있다. 예를 들어, 전제로 “(P ∧ Q) → R”, “P”, “Q“가 주어졌을 때, “R“을 도출하는 증명은 연언 도입 규칙으로 “P ∧ Q“를 구성한 후 조건 제거 규칙을 적용하여 “R“을 얻는다. 이러한 결합은 자연 연역 증명의 전형적 패턴이며, 조건 제거 규칙이 증명의 진행에서 핵심적 역할을 함을 보여 준다(Mendelson, 2015).

11. 조건 제거 규칙의 학술적 의의

조건 제거 규칙은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 조건 연결자의 분해 조건을 형식화하며, 조건 도입 규칙과 함께 조건의 의미를 완전히 정의한다. 둘째, 그것은 전건 긍정이라는 전통 논리학의 기본 추론 형식을 형식화한다. 셋째, 그것은 자연 연역 체계에서 가장 자주 사용되는 규칙 중 하나이며, 거의 모든 비자명한 증명에 등장한다. 넷째, 그것은 조화 원리에 의하여 조건 도입 규칙과 대응하며, 정상화 정리의 환원 단계에서 중요한 역할을 한다. 다섯째, 그것은 공리 체계에서도 기본 추론 규칙으로 채택될 만큼 보편적이다(Gentzen, 1935).

12. 본 절의 결론적 정리

조건 제거 규칙은 조건 “A → B“와 전건 A로부터 후건 B를 도출할 수 있음을 규정하는 자연 연역 체계의 기본 규칙이다. 이 규칙은 전통 논리학의 전건 긍정과 동일하며, 조건의 진리 함수적 정의에 의하여 정당화된다. 조건 제거 규칙은 조건 도입 규칙과 조화 원리에 의하여 대응하며, 두 규칙이 함께 조건의 의미를 완전히 정의한다. 이 규칙은 연쇄적으로 적용되어 가설적 삼단논법과 같은 파생 규칙의 증명에 사용되며, 다른 추론 규칙과 결합되어 복잡한 증명을 구성하는 데 활용된다. 학습자는 조건 제거 규칙의 정식화, 역사적 배경, 의미론적 정당화, 적용 방법을 정확히 이해하고, 자연 연역 증명에 활용할 수 있어야 한다.

13. 출처

  • Gentzen, G. (1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431.
  • Mates, B. (1961). Stoic Logic. Berkeley: University of California Press.
  • Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell.
  • 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