12.8 대우 증명법의 개념

1. 절의 학술적 목표

본 절은 대우 증명법(proof by contraposition)의 학술적 개념을 체계적으로 검토하는 것을 목표로 한다. 대우 증명법은 조건 명제 “A → B“를 증명하기 위하여 그 대우(contrapositive)인 “¬B → ¬A“를 대신 증명하는 간접 증명 방법이다. 대우 증명법은 귀류법과 구별되면서도 밀접하게 관련된 간접 증명 방법이며, 수학적 증명에서 자주 사용된다. 본 절은 대우 증명법의 개념, 대우의 정의, 논리적 정당화, 구조, 예시, 적용 범위, 학술적 의의를 체계적으로 정리한다.

2. 대우의 학술적 정의

조건 명제 “A → B“에 대하여 그 대우는 “¬B → ¬A“로 정의된다. 대우는 전건과 후건을 부정한 후 그 순서를 바꾼 조건 명제이다. 대우는 조건 명제의 역(converse) “B → A“나 이(inverse) “¬A → ¬B“와 구별되어야 한다. 역과 이는 원래 명제와 논리적으로 동치가 아니지만, 대우는 원래 명제와 논리적으로 동치이다. 이러한 동치 관계는 진리표 또는 형식적 증명으로 확인할 수 있으며, 대우 증명법의 기초가 된다(Copi, Cohen, & McMahon, 2014).

3. 대우 증명법의 학술적 정의

대우 증명법은 조건 명제 “A → B“를 증명하기 위하여 그 대우 “¬B → ¬A“를 대신 증명하는 간접 증명 방법이다. 형식적으로, “A → B“를 직접 증명하기 어려운 경우에 “¬B → ¬A“를 증명하고, 두 명제의 논리적 동치성에 의하여 원래 명제가 증명된다. 대우 증명법은 특히 수학적 증명에서 조건의 후건을 부정하는 것이 전건을 부정하는 것보다 쉬운 경우에 유용하다. 이러한 방법은 증명의 경로를 효율적으로 선택하는 전략이다(Mendelson, 2015).

4. 대우 증명법의 논리적 정당화

대우 증명법의 논리적 정당화는 “A → B“와 “¬B → ¬A“의 동치성에 기반한다. 이 동치성은 다음과 같이 증명된다. 첫째, 조건의 진리 함수적 정의에 의하여 “A → B“는 “A가 참이고 B가 거짓인 경우에만 거짓“이다. 둘째, “¬B → ¬A“는 “¬B가 참이고 ¬A가 거짓인 경우, 즉 B가 거짓이고 A가 참인 경우에만 거짓“이다. 셋째, 두 명제는 동일한 진리 조건을 가지므로 논리적으로 동치이다. 이 동치성은 진리표로 확인 가능하며, 자연 연역 체계에서도 형식적으로 증명 가능하다. 대우 증명법은 이 동치성을 활용한 증명 전략이다(Mendelson, 2015).

5. 대우, 역, 이의 구별

조건 명제 “A → B“에 대하여 세 관련 명제가 구별된다. 첫째, 역(converse) “B → A“는 전건과 후건의 순서를 바꾼 명제이다. 둘째, 이(inverse) “¬A → ¬B“는 전건과 후건을 각각 부정한 명제이다. 셋째, 대우(contrapositive) “¬B → ¬A“는 전건과 후건을 부정한 후 순서를 바꾼 명제이다. 이 세 관련 명제 중 원래 명제와 논리적으로 동치인 것은 대우뿐이다. 역과 이는 원래 명제와 동치가 아니지만, 역과 이는 서로 동치이다(이는 역의 대우가 이이기 때문이다). 이러한 구별은 대우 증명법의 정확한 이해에 필수적이다(Copi, Cohen, & McMahon, 2014).

6. 대우 증명법의 기본 절차

대우 증명법의 기본 절차는 다음과 같다. 첫째, 증명하려는 조건 명제 “A → B“를 확인한다. 둘째, 그 대우 “¬B → ¬A“를 구성한다. 셋째, “¬B“를 가정하고 “¬A“를 도출하는 직접 증명 또는 약한 귀류법 증명을 수행한다. 넷째, 조건 도입 규칙으로 “¬B → ¬A“를 결론으로 도출한다. 다섯째, 대우의 동치성에 의하여 원래 명제 “A → B“가 증명되었다고 결론짓는다. 이러한 절차는 대우 증명법의 표준적 수행 방법이다(Mendelson, 2015).

7. 대우 증명법의 단순 예시

대우 증명법의 단순 예시는 다음과 같다. “n이 정수이고 n²이 짝수이면 n은 짝수이다“라는 명제를 대우 증명법으로 증명한다. 대우는 “n이 정수이고 n이 짝수가 아니면 n²이 짝수가 아니다”, 즉 “n이 홀수이면 n²이 홀수이다“이다. 증명은 다음과 같이 진행된다. 첫째, n이 홀수라고 가정한다. 둘째, 홀수의 정의에 의하여 n = 2k + 1(k는 정수)로 표현된다. 셋째, n² = (2k + 1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1을 계산한다. 넷째, 2(2k² + 2k) + 1은 홀수의 형태이므로 n²이 홀수이다. 다섯째, 따라서 대우가 증명되었으며, 원래 명제가 증명된다. 이 증명은 대우 증명법이 실제 수학적 증명에서 어떻게 활용되는지를 보여 주는 전형적 예시이다(Copi, Cohen, & McMahon, 2014).

8. 대우 증명법의 적용 범위

대우 증명법은 다음의 경우에 특히 유용하다. 첫째, 전건을 가정하고 후건을 도출하는 직접 증명이 어려운 경우. 둘째, 후건의 부정이 전건의 부정보다 다루기 쉬운 형식을 가진 경우. 셋째, 수학적 성질(홀수/짝수, 소수/합성수, 연속/불연속 등)에 관한 조건 명제를 증명하는 경우. 넷째, 수학적 구조에서 반대 방향의 추론이 더 직관적인 경우. 이러한 경우들에서 대우 증명법은 증명의 경로를 효율적으로 단축하거나 증명 자체를 가능하게 한다(Polya, 1945).

9. 대우 증명법과 귀류법의 유사성

대우 증명법과 귀류법은 모두 간접 증명 방법이라는 공통점을 가지지만, 구체적인 구조와 적용 방식에서 차이가 있다. 유사성은 다음과 같다. 첫째, 둘 다 결론을 직접 도출하지 않고 우회적 방법을 사용한다. 둘째, 둘 다 부정의 도입을 포함한다. 셋째, 둘 다 조건 명제의 증명에 유용하다. 차이점은 대우 증명법이 명시적 모순의 도출을 필요로 하지 않으며, 조건의 대우에 대한 직접 증명으로 이루어진다는 점이다. 귀류법은 모순 도출을 핵심 단계로 하는 반면, 대우 증명법은 대우 명제의 직접 증명을 핵심 단계로 한다(Copi, Cohen, & McMahon, 2014).

10. 대우 증명법과 직관주의 논리

대우 증명법은 고전 논리에서 완전히 유효하지만, 직관주의 논리에서는 제한된 형태로만 유효하다. “A → B“로부터 “¬B → ¬A“로의 방향은 직관주의 논리에서도 유효하지만, “¬B → ¬A“로부터 “A → B“로의 역방향은 일반적으로 유효하지 않다. 왜냐하면 역방향의 도출은 이중 부정 제거를 필요로 하기 때문이다. 따라서 직관주의 논리에서 대우 증명법은 제한된 적용 범위를 가지며, 직접 증명이 우선된다. 이러한 차이는 고전 논리와 직관주의 논리의 근본적 차이를 반영한다(Heyting, 1956).

11. 대우 증명법의 학술적 의의

대우 증명법은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 조건 명제의 증명에서 효율적인 대안을 제공한다. 둘째, 그것은 대우의 동치성이라는 명제 논리의 기본 법칙을 실제 증명에 활용한다. 셋째, 그것은 수학적 증명에서 증명 전략의 선택을 확장한다. 넷째, 그것은 귀류법과 함께 간접 증명 방법의 주요 형태를 이룬다. 다섯째, 그것은 증명 교육에서 학습자가 다양한 증명 전략을 익히는 데 기여한다. 여섯째, 그것은 조건 명제의 논리적 구조에 대한 깊은 이해를 요구하며, 이를 기른다(Polya, 1945).

12. 본 절의 결론적 정리

대우 증명법은 조건 명제 “A → B“를 증명하기 위하여 그 대우 “¬B → ¬A“를 대신 증명하는 간접 증명 방법이다. 대우는 원래 명제와 논리적으로 동치이며, 이 동치성이 대우 증명법의 논리적 기초를 이룬다. 대우 증명법은 역(converse)과 이(inverse)와 구별되어야 하며, 이 세 관련 명제 중 원래 명제와 동치인 것은 대우뿐이다. 대우 증명법의 절차는 대우 명제를 구성하고, 후건의 부정으로부터 전건의 부정을 도출한 후, 조건 도입 규칙으로 대우를 결론으로 얻는 것이다. 대우 증명법은 직접 증명이 어려운 경우, 후건의 부정이 전건의 부정보다 다루기 쉬운 경우, 수학적 성질에 관한 조건 명제를 증명하는 경우에 특히 유용하다. 대우 증명법은 고전 논리에서 완전히 유효하지만, 직관주의 논리에서는 제한된 형태로만 유효하다. 학습자는 대우의 정의, 대우 증명법의 개념과 절차, 관련 명제들의 구별, 적용 범위, 귀류법과의 유사성을 정확히 이해해야 한다.

13. 출처

• Heyting, A. (1956). Intuitionism: An Introduction. Amsterdam: North-Holland.
• Polya, G. (1945). How to Solve It: A New Aspect of Mathematical Method. Princeton: Princeton University 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