12.7 귀류법과 부정 도입 규칙의 관계

12.7 귀류법과 부정 도입 규칙의 관계

1. 절의 학술적 목표

본 절은 귀류법(reductio ad absurdum)과 부정 도입 규칙(negation introduction rule, ¬I)의 관계를 학술적으로 검토하는 것을 목표로 한다. 부정 도입 규칙은 자연 연역 체계의 기본 규칙이며, 약한 귀류법의 형식화에 해당한다. 한편 고전적(강한) 귀류법은 부정 도입 규칙과 이중 부정 제거 규칙의 결합으로 도출된다. 본 절은 두 규칙의 구조적 대응, 약한 귀류법과 부정 도입 규칙의 동일성, 강한 귀류법과 부정 도입 규칙의 차이, 형식적 관계, 예시, 학술적 의의를 체계적으로 정리한다.

2. 부정 도입 규칙의 재검토

부정 도입 규칙은 가정 A 하에서 모순 ⊥이 도출되었을 때, 가정 A를 해소하고 “¬A“를 결론으로 도출할 수 있음을 규정하는 자연 연역 체계의 기본 규칙이다. 이 규칙은 다음과 같이 표기된다.

[A]
 ⋮
 ⊥
───── (¬I)
 ¬A

부정 도입 규칙은 부정 연결자의 구성 조건을 형식화하며, 고전 논리와 직관주의 논리 모두에서 기본 규칙으로 인정된다. 이 규칙은 귀류법의 한 형태와 직접적으로 대응한다(Gentzen, 1935).

3. 약한 귀류법과 부정 도입 규칙의 동일성

약한 귀류법은 “A를 가정하여 모순이 도출되면 ¬A를 결론으로 얻는다“이다. 이 형식은 부정 도입 규칙과 정확히 일치한다. 즉, 약한 귀류법은 부정 도입 규칙의 비형식적 표현이며, 부정 도입 규칙은 약한 귀류법의 형식적 체계화이다. 두 표현은 동일한 추론 규칙을 지칭하며, 전자는 증명 방법으로서의 귀류법을 강조하고, 후자는 자연 연역 체계의 기본 규칙으로서의 부정 도입을 강조한다. 이 동일성은 약한 귀류법이 고전 논리와 직관주의 논리 모두에서 수용되는 근거이다(Prawitz, 1965).

4. 강한 귀류법의 형식적 분해

강한 귀류법 “¬A를 가정하여 모순이 도출되면 A를 결론으로 얻는다“는 부정 도입 규칙과 이중 부정 제거 규칙의 결합으로 형식적으로 분해된다. 분해의 과정은 다음과 같다.

[¬A]
 ⋮
 ⊥
───── (¬I)
¬¬A
───── (¬¬E)
 A

첫째, “¬A“의 가정 하에서 모순이 도출되면 부정 도입 규칙으로 “¬¬A“가 얻어진다. 둘째, “¬¬A“에 이중 부정 제거 규칙을 적용하여 A를 도출한다. 이러한 분해는 강한 귀류법이 부정 도입 규칙만으로는 정당화되지 않으며, 이중 부정 제거 규칙을 본질적으로 필요로 함을 보여 준다(Prawitz, 1965).

5. 강한 귀류법과 부정 도입 규칙의 차이

강한 귀류법과 부정 도입 규칙의 차이는 결론의 부정 여부에 있다. 부정 도입 규칙은 “A를 가정하여 모순이 도출되면 ¬A“를 결론으로 얻지만, 강한 귀류법은 “¬A를 가정하여 모순이 도출되면 A“를 결론으로 얻는다. 이 차이는 사소해 보이지만, 이중 부정 제거 규칙의 필요 여부에 의하여 근본적으로 다르다. 부정 도입 규칙은 배중률이나 이중 부정 제거를 필요로 하지 않으며, 직관주의 논리에서도 유효하다. 반면 강한 귀류법은 이중 부정 제거를 본질적으로 필요로 하므로, 직관주의 논리에서는 일반적으로 수용되지 않는다(Heyting, 1956).

6. 두 규칙의 구조적 대응

두 규칙의 구조적 대응은 다음의 표로 요약된다.

구분부정 도입 규칙 (약한 귀류법)강한 귀류법
가정A¬A
도출⊥⊥
결론¬AA
수용 논리고전 논리, 직관주의 논리고전 논리
의존 원리모순율모순율, 이중 부정 제거

이 대응은 두 규칙의 공통점(가정 하 모순 도출)과 차이점(결론의 부정 여부와 수용 논리)을 명확히 보여 준다. 두 규칙은 상호 보완적이며, 고전 논리의 자연 연역 체계에서는 두 규칙이 모두 사용된다(Mendelson, 2015).

7. 약한 귀류법의 예시

약한 귀류법(부정 도입 규칙)의 예시는 다음과 같다. 전제로 “P → Q“와 “¬Q“가 주어졌을 때, “¬P“를 도출하는 증명은 다음과 같다.

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

이 증명은 P를 가정하여 모순을 도출한 후 부정 도입 규칙으로 “¬P“를 결론으로 얻는다. 결론이 부정 형태이므로 약한 귀류법이 직접 적용된다(Copi, Cohen, & McMahon, 2014).

8. 강한 귀류법의 예시

강한 귀류법의 예시는 다음과 같다. 전제로 “¬¬P“가 주어졌을 때, “P“를 도출하는 증명은 두 가지 방식으로 가능하다. 첫째, 강한 귀류법의 직접 적용:

1. ¬¬P        (전제)
2. [¬P]       (가정)
3. ⊥          (2, 1, ¬E)
4. P          (2-3, RAA)

둘째, 부정 도입 규칙과 이중 부정 제거의 결합:

1. ¬¬P        (전제)
2. P          (1, ¬¬E)

두 방식은 고전 논리에서 동등한 결과를 산출하지만, 전자는 귀류법 규칙의 직접 적용이고 후자는 이중 부정 제거 규칙의 직접 적용이다. 이러한 동등성은 강한 귀류법과 이중 부정 제거가 고전 논리에서 상호 환원 가능함을 보여 준다(Mendelson, 2015).

9. 두 규칙의 상호 환원

고전 논리에서 부정 도입 규칙과 이중 부정 제거 규칙이 모두 주어지면, 강한 귀류법은 두 규칙의 결합으로 환원된다. 역으로, 부정 도입 규칙과 강한 귀류법이 주어지면, 이중 부정 제거는 강한 귀류법의 특수한 경우로 환원된다. 즉, “¬¬A“에서 “¬A“를 가정하여 모순을 도출하고 강한 귀류법으로 A를 결론으로 얻는 것과 이중 부정 제거 규칙을 직접 적용하는 것은 동등하다. 이러한 상호 환원은 강한 귀류법과 이중 부정 제거가 고전 논리에서 논리적으로 동등함을 보여 준다(Prawitz, 1965).

10. 자연 연역 체계의 설계 선택

자연 연역 체계는 설계에 따라 두 규칙을 다르게 채택한다. 첫째 유형은 부정 도입 규칙과 이중 부정 제거 규칙을 기본 규칙으로 채택하는 체계이다. 이 경우 강한 귀류법은 두 규칙의 결합으로 파생된다. 둘째 유형은 부정 도입 규칙과 강한 귀류법(RAA)을 기본 규칙으로 채택하는 체계이다. 이 경우 이중 부정 제거는 강한 귀류법의 특수한 경우로 파생된다. 두 유형은 논리적으로 동등하지만, 증명의 표기와 구조에서 차이를 보인다. 직관주의 자연 연역 체계는 부정 도입 규칙만을 채택하며, 강한 귀류법과 이중 부정 제거를 모두 배제한다(Prawitz, 1965).

11. 귀류법과 부정 도입 규칙의 관계의 학술적 의의

귀류법과 부정 도입 규칙의 관계는 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 약한 귀류법이 자연 연역 체계의 기본 규칙인 부정 도입 규칙과 동일함을 보여 준다. 둘째, 그것은 강한 귀류법이 부정 도입 규칙과 이중 부정 제거 규칙의 결합으로 분해됨을 명확히 한다. 셋째, 그것은 고전 논리와 직관주의 논리의 차이가 이중 부정 제거의 수용 여부에 있음을 형식적으로 보여 준다. 넷째, 그것은 자연 연역 체계의 설계 선택이 두 규칙의 채택 방식에 영향을 미침을 보여 준다. 다섯째, 그것은 귀류법을 엄밀한 형식적 규칙으로 이해하는 데 기초가 된다(Gentzen, 1935).

12. 본 절의 결론적 정리

약한 귀류법은 부정 도입 규칙과 동일하며, “A를 가정하여 모순이 도출되면 ¬A를 결론으로 얻는다“의 형식으로 표현된다. 이 규칙은 모순율에만 의존하여 고전 논리와 직관주의 논리 모두에서 수용된다. 강한 귀류법은 “¬A를 가정하여 모순이 도출되면 A를 결론으로 얻는다“의 형식이며, 부정 도입 규칙과 이중 부정 제거 규칙의 결합으로 분해된다. 강한 귀류법은 이중 부정 제거를 본질적으로 필요로 하므로, 고전 논리에서만 수용된다. 두 규칙은 가정 하 모순 도출이라는 공통점을 가지지만, 결론의 부정 여부와 수용 논리에서 차이가 있다. 고전 논리에서는 강한 귀류법과 이중 부정 제거가 상호 환원 가능하다. 학습자는 약한 귀류법과 부정 도입 규칙의 동일성, 강한 귀류법의 형식적 분해, 두 규칙의 구조적 대응, 자연 연역 체계의 설계 선택을 정확히 이해해야 한다.

13. 출처

  • Gentzen, G. (1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431.
  • Heyting, A. (1956). Intuitionism: An Introduction. Amsterdam: North-Holland.
  • 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