11.5 연언 도입 규칙

11.5 연언 도입 규칙

1. 절의 학술적 목표

본 절은 자연 연역 체계의 연언 도입 규칙(conjunction introduction rule, ∧I)을 학술적으로 검토하는 것을 목표로 한다. 연언 도입 규칙은 두 공식을 결합하여 그 연언을 도출하는 추론 규칙이며, 자연 연역의 가장 기본적인 규칙 중 하나이다. 본 절은 연언 도입 규칙의 정식화, 의미론적 정당화, 적용, 예시, 학술적 의의를 체계적으로 정리한다.

2. 연언 도입 규칙의 학술적 정의

연언 도입 규칙은 두 공식 A와 B가 이미 증명되었을 때, 그 연언 “A ∧ B“를 도출할 수 있음을 규정하는 규칙이다. 이 규칙은 연언 연결자 “∧“를 결론에 도입하는 규칙이며, 연언의 구성 조건을 형식화한다. 형식적으로, 연언 도입 규칙은 전제의 두 공식 A와 B로부터 결론 “A ∧ B“로의 이행을 허용한다(Gentzen, 1935).

3. 연언 도입 규칙의 표준 표기

연언 도입 규칙의 표준 표기는 다음과 같다.

A  B
───── (∧I)
A ∧ B

가로줄 위의 A와 B는 전제이고, 가로줄 아래의 “A ∧ B“는 결론이며, 괄호 안의 “∧I“는 규칙의 이름이다. 이 표기는 겐첸의 자연 연역 체계의 표준 형식을 따른다(Gentzen, 1935).

4. 연언 도입 규칙의 의미론적 정당화

연언 도입 규칙은 연언의 진리 함수적 정의에 의하여 정당화된다. 연언 “A ∧ B“는 A가 참이고 동시에 B가 참일 때에만 참이다. 따라서 A와 B가 모두 증명되었다면(즉, 모두 참이라고 주장할 수 있다면), 그 연언 “A ∧ B“도 참이라고 주장할 수 있다. 이러한 정당화는 연언 도입 규칙이 타당한 추론 규칙임을 보장한다. 진리 보존의 관점에서, 전제가 모두 참이면 결론도 반드시 참이다(Mendelson, 2015).

5. 연언 도입 규칙의 적용 조건

연언 도입 규칙의 적용을 위한 조건은 다음과 같다. 첫째, 전제 A와 B는 증명의 이전 단계에서 이미 확립되어 있어야 한다. 둘째, A와 B는 활성화된(해소되지 않은) 가정 하에서 도출된 것이어야 하며, 결론 “A ∧ B“는 그러한 가정들의 결합 하에서 성립한다. 셋째, 규칙의 적용은 단일 단계로 이루어지며, 결론의 주된 연결자는 ∧이다(Prawitz, 1965).

6. 연언 도입 규칙의 단순 적용 예시

연언 도입 규칙의 단순 적용 예시는 다음과 같다. 전제로 “P“와 “Q“가 주어졌을 때, 연언 도입 규칙을 적용하여 “P ∧ Q“를 도출한다. 증명은 다음과 같이 표현된다.

1. P          (전제)
2. Q          (전제)
3. P ∧ Q      (1, 2, ∧I)

괄호 안의 “1, 2, ∧I“는 결론이 1행과 2행에 연언 도입 규칙을 적용하여 얻어졌음을 의미한다(Copi, Cohen, & McMahon, 2014).

7. 연언 도입 규칙과 교환 법칙

연언 도입 규칙은 전제의 순서에 독립적이지만, 결론의 형태에서는 순서가 유지된다. 즉, 전제가 A와 B로 주어지면 결론은 “A ∧ B“이고, 전제가 B와 A로 주어지면 결론은 “B ∧ A“이다. 두 결론은 의미론적으로 동치(교환 법칙)이지만 구문적으로는 다르다. 이러한 구분은 자연 연역 체계에서 동치와 동일성의 차이를 이해하는 데 중요하다(Prawitz, 1965).

8. 연언 도입 규칙의 복합 적용 예시

연언 도입 규칙의 복합 적용 예시는 다음과 같다. 전제로 “P”, “Q”, “R“이 주어지고, 결론으로 “(P ∧ Q) ∧ R“을 도출하는 증명은 다음과 같다.

1. P              (전제)
2. Q              (전제)
3. R              (전제)
4. P ∧ Q          (1, 2, ∧I)
5. (P ∧ Q) ∧ R    (4, 3, ∧I)

이 증명은 연언 도입 규칙이 두 번 연속 적용되어 세 공식의 연언을 구성하는 방법을 보여 준다(Mendelson, 2015).

9. 연언 도입 규칙과 다른 규칙의 결합

연언 도입 규칙은 다른 추론 규칙과 결합되어 복잡한 증명을 구성할 수 있다. 예를 들어, 전제로 “P“와 “P → Q“가 주어졌을 때, “P ∧ Q“를 도출하는 증명은 다음과 같다. 먼저 조건 제거 규칙(전건 긍정)을 적용하여 “Q“를 얻고, 그 다음 연언 도입 규칙을 적용하여 “P ∧ Q“를 도출한다. 이러한 결합은 자연 연역 증명의 전형적인 패턴이다(Copi, Cohen, & McMahon, 2014).

10. 연언 도입 규칙의 일반화

연언 도입 규칙은 임의의 자연수 n에 대하여 일반화될 수 있다. 즉, n개의 공식 A₁, A₂, …, Aₙ이 모두 증명되었다면, 연언 도입 규칙을 반복적으로 적용하여 “A₁ ∧ A₂ ∧ … ∧ Aₙ“을 도출할 수 있다. 이러한 일반화는 결합 법칙에 의하여 괄호의 배치가 동치 관계에 영향을 미치지 않음으로써 보장된다. 이 일반화는 다항 연언의 구성에 편리하다(Prawitz, 1965).

11. 연언 도입 규칙의 학술적 의의

연언 도입 규칙은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 연언 연결자의 구성 조건을 형식화하며, 연언의 의미를 정의하는 규칙이다. 둘째, 그것은 자연 연역 체계에서 가장 기본적이고 명확한 규칙 중 하나이다. 셋째, 그것은 조화 원리에 의하여 연언 제거 규칙과 대응하며, 두 규칙이 함께 연언의 의미를 완전히 정의한다. 넷째, 그것은 복잡한 공식의 구성과 증명의 진행에서 빈번히 사용된다(Gentzen, 1935).

12. 본 절의 결론적 정리

연언 도입 규칙은 두 공식 A와 B로부터 그 연언 “A ∧ B“를 도출할 수 있음을 규정하는 자연 연역 체계의 기본 규칙이다. 이 규칙은 연언 연결자의 구성 조건을 형식화하며, 연언의 진리 함수적 정의에 의하여 정당화된다. 연언 도입 규칙의 표준 표기는 가로줄 위의 A, B를 전제로 하고 가로줄 아래의 “A ∧ B“를 결론으로 하는 형식이다. 이 규칙은 임의의 자연수 n개의 공식에 대하여 일반화될 수 있으며, 다른 추론 규칙과 결합되어 복잡한 증명을 구성하는 데 활용된다. 학습자는 연언 도입 규칙의 정식화, 의미론적 정당화, 적용 방법을 정확히 이해하고, 자연 연역 증명에 활용할 수 있어야 한다.

13. 출처

  • Gentzen, G. (1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431.
  • 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