10.16 대우 법칙

1. 절의 학술적 목표

본 절은 명제 논리의 대우 법칙(law of contraposition)을 학술적으로 검토하는 것을 목표로 한다. 대우 법칙은 조건 명제와 그 대우(contrapositive) 명제가 논리적으로 동치임을 표현하는 법칙이며, 명제 논리와 수학적 증명에서 가장 중요한 동치 법칙 중 하나이다. 본 절은 대우 법칙의 정식화, 진리표적 검증, 역사적 배경, 응용, 학술적 의의를 체계적으로 정리한다.

2. 대우 법칙의 학술적 정의

대우 법칙은 조건 명제 “P → Q“가 그 대우 명제 “¬Q → ¬P“와 논리적으로 동치임을 주장하는 법칙이다. 형식적으로, 임의의 명제 P, Q에 대하여 “(P → Q) ≡ (¬Q → ¬P)“가 성립한다. 여기서 “¬Q → ¬P“를 “P → Q“의 대우(contrapositive)라 한다. 대우 법칙은 조건 명제의 형식적 변환에 관한 가장 기본적이고 강력한 법칙 중 하나이다(Aristoteles, trans. 1984).

3. 조건 명제와 관련된 네 가지 형식

조건 명제 “P → Q“와 관련하여 네 가지 형식이 정의된다. 첫째, 원명제(original): “P → Q”. 둘째, 역(converse): “Q → P”. 셋째, 이(inverse): “¬P → ¬Q”. 넷째, 대우(contrapositive): “¬Q → ¬P”. 이 네 형식 중에서 원명제와 대우는 서로 동치이며, 역과 이도 서로 동치이다. 그러나 원명제와 역, 원명제와 이는 일반적으로 동치가 아니다. 이러한 관계는 조건 명제의 분석에서 매우 중요하다(Copi, Cohen, & McMahon, 2014).

4. 대우 법칙의 진리표적 검증

대우 법칙에 대한 진리표적 검증은 다음과 같다.

“P → Q” 열과 “¬Q → ¬P” 열의 모든 행이 일치하므로 대우 법칙이 검증된다. 두 명제는 모든 진리값 할당에서 동일한 진리값을 가지며, 따라서 논리적으로 동치이다(Copi, Cohen, & McMahon, 2014).

5. 대우 법칙의 대수적 증명

대우 법칙은 진리표뿐만 아니라 다른 동치 법칙으로부터 대수적으로도 증명된다. 증명은 다음과 같다. “P → Q“는 조건의 선언 형태 변환에 의하여 “¬P ∨ Q“와 동치이다. 교환 법칙에 의하여 “¬P ∨ Q“는 “Q ∨ ¬P“와 동치이고, 이중 부정 법칙에 의하여 “¬¬Q ∨ ¬P“와 동치이며, 다시 조건의 선언 형태 변환에 의하여 “¬Q → ¬P“와 동치이다. 따라서 “P → Q ≡ ¬Q → ¬P“가 증명된다. 이 증명은 대우 법칙이 더 기본적인 법칙으로부터 유도될 수 있음을 보여 준다(Mendelson, 2015).

6. 대우 법칙의 역사적 배경

대우 법칙의 원형은 고대 그리스의 아리스토텔레스의 논리학에까지 거슬러 올라간다. 아리스토텔레스는 『Prior Analytics』에서 정언 명제의 환위(conversion), 환질(obversion), 환질환위(contraposition)의 변환을 체계적으로 다루었으며, 이 중 환질환위가 대우 법칙의 원형에 해당한다. 중세 스콜라 논리학에서도 대우는 기본적인 추론 형식으로 인정되었고, 근대 명제 논리의 발전과 함께 형식적으로 정식화되었다(Aristoteles, trans. 1984).

7. 역과 이의 비동치성

대우 법칙은 원명제와 대우의 동치를 주장하지만, 원명제와 역, 원명제와 이의 동치는 주장하지 않는다. 실제로 “P → Q“와 “Q → P“는 일반적으로 동치가 아니며, “P → Q“와 “¬P → ¬Q“도 일반적으로 동치가 아니다. 예를 들어, “P가 참이고 Q가 거짓“인 경우 “P → Q“는 거짓이지만 “Q → P“는 참이다. 원명제와 역의 혼동은 후건 긍정의 오류(fallacy of affirming the consequent)에 해당하며, 원명제와 이의 혼동은 전건 부정의 오류(fallacy of denying the antecedent)에 해당한다(Copi, Cohen, & McMahon, 2014).

8. 역과 이의 상호 동치성

역과 이는 서로 동치이다. 즉, “(Q → P) ≡ (¬P → ¬Q)“가 성립한다. 그 이유는 역 “Q → P“의 대우가 “¬P → ¬Q” 즉 이이기 때문이다. 따라서 대우 법칙에 의하여 역과 이는 동치이다. 결국 조건 명제와 관련된 네 형식은 두 동치류로 분할된다. 첫째 동치류는 “원명제, 대우“이고, 둘째 동치류는 “역, 이“이다. 두 동치류는 일반적으로 서로 동치가 아니다(Mendelson, 2015).

9. 대우 법칙과 간접 증명

대우 법칙은 수학적 증명, 특히 간접 증명(indirect proof)의 기초이다. 어떤 조건 명제 “P → Q“를 직접 증명하기 어려운 경우, 그 대우 “¬Q → ¬P“를 증명함으로써 원명제를 증명할 수 있다. 이러한 증명 방법을 대우 증명(proof by contrapositive)이라 한다. 예를 들어, “n²이 짝수이면 n이 짝수이다“를 증명하기 위하여 그 대우 “n이 홀수이면 n²이 홀수이다“를 증명하는 것이 더 용이하다. 대우 증명은 귀류법과 함께 간접 증명의 두 주요 형식이다(Polya, 1945).

10. 대우 법칙의 응용

대우 법칙은 명제 논리의 분석과 추론에서 광범위하게 활용된다. 첫째, 그것은 수학적 증명에서 대우 증명의 정당화에 사용된다. 둘째, 그것은 조건 명제의 분석에서 동치 변환의 도구로 사용된다. 셋째, 그것은 후건 부정(modus tollens)의 추론 형식의 정당화에 사용된다. 즉, “P → Q“와 “¬Q“로부터 “¬P“를 도출하는 것은 대우 법칙에 의하여 “¬Q → ¬P“와 “¬Q“로부터 전건 긍정으로 “¬P“를 도출하는 것과 같다. 넷째, 그것은 자동 추론 시스템과 정리 증명에서 활용된다(Polya, 1945).

11. 대우 법칙의 적용 예시

대우 법칙의 응용 예시는 다음과 같다. 명제 “비가 오면 길이 젖는다“의 대우는 “길이 젖지 않으면 비가 오지 않는다“이다. 두 명제는 논리적으로 동치이다. 반면 그 역인 “길이 젖으면 비가 온다“는 동치가 아니며, 길이 젖는 다른 원인(예: 살수)이 있을 수 있다. 마찬가지로 그 이인 “비가 오지 않으면 길이 젖지 않는다“도 동치가 아니다. 이 예시는 대우 법칙과 역·이의 비동치성을 함께 보여 준다(Copi, Cohen, & McMahon, 2014).

12. 본 절의 결론적 정리

대우 법칙은 조건 명제 “P → Q“가 그 대우 “¬Q → ¬P“와 논리적으로 동치임을 주장하는 법칙이다. 이 법칙은 진리표 방법과 다른 동치 법칙으로부터의 대수적 증명으로 모두 검증된다. 조건 명제와 관련된 네 형식(원명제, 역, 이, 대우) 중에서 원명제와 대우는 동치이고, 역과 이도 동치이지만, 두 동치류는 서로 일반적으로 동치가 아니다. 대우 법칙은 수학적 증명에서 대우 증명의 기초가 되며, 후건 부정 추론의 정당화에 사용된다. 학습자는 대우 법칙의 정식화, 검증, 응용을 정확히 이해하고, 명제 논리적 분석과 수학적 증명에 활용할 수 있어야 한다.

13. 출처

• Aristoteles. (trans. 1984). The Complete Works of Aristotle (J. Barnes, Ed.). Princeton: Princeton University Press.
• Polya, G. (1945). How to Solve It. 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