6.11 조건문의 역, 이, 대우

1. 절의 학술적 목표

본 절은 조건문 “P → Q“로부터 파생되는 세 가지 변형 조건문, 즉 역(converse), 이(inverse), 대우(contrapositive)의 개념을 학술적으로 검토하는 것을 목표로 한다. 세 변형 조건문은 원래 조건문과 구별되는 고유한 논리적 지위를 가지며, 그 중 대우만이 원래 조건문과 논리적으로 동치이다. 본 절에서는 각 변형의 정의, 형식적 표현, 논리적 관계, 그리고 학습상 유의 사항을 체계적으로 정리한다.

2. 원래 조건문의 형식

원래 조건문은 “P이면 Q이다“의 형식으로 진술되며, 형식적으로 “P → Q“로 표현된다. 이 형식에서 P는 전건, Q는 후건이다. 원래 조건문은 P가 Q의 충분조건이며, Q가 P의 필요조건임을 진술한다(Copi, Cohen, & McMahon, 2014).

3. 역의 정의

역(converse)은 원래 조건문의 전건과 후건의 위치를 서로 바꾼 조건문이다. “P → Q“의 역은 “Q → P“이다. 예를 들어 “P: 비가 온다, Q: 길이 젖는다“라고 할 때, 원래 조건문 “비가 온다 → 길이 젖는다“의 역은 “길이 젖는다 → 비가 온다“이다. 역은 원래 조건문과 일반적으로 논리적으로 동치가 아니다(Hurley, 2014).

4. 역과 원래 조건문의 논리적 관계

원래 조건문 “P → Q“와 그 역 “Q → P“는 일반적으로 서로 독립적이다. 한 쪽이 참이더라도 다른 쪽의 진리값은 결정되지 않는다. 예를 들어 “비가 온다 → 길이 젖는다“는 참이지만, 그 역 “길이 젖는다 → 비가 온다“는 거짓이다(길이 젖는 다른 원인이 있을 수 있기 때문이다). 다만 원래 조건문과 그 역이 모두 참인 경우, 두 명제는 필요충분조건 관계에 있다(Copi, Cohen, & McMahon, 2014).

5. 이의 정의

이(inverse)는 원래 조건문의 전건과 후건을 각각 부정한 조건문이다. “P → Q“의 이는 “¬P → ¬Q“이다. 위의 예에서 원래 조건문 “비가 온다 → 길이 젖는다“의 이는 “비가 오지 않는다 → 길이 젖지 않는다“이다. 이는 원래 조건문과 일반적으로 논리적으로 동치가 아니다(Hurley, 2014).

6. 이와 원래 조건문의 논리적 관계

원래 조건문 “P → Q“와 그 이 “¬P → ¬Q“는 일반적으로 서로 독립적이다. 한 쪽이 참이더라도 다른 쪽의 진리값은 결정되지 않는다. 위의 예에서 “비가 온다 → 길이 젖는다“는 참이지만, 그 이 “비가 오지 않는다 → 길이 젖지 않는다“는 거짓이다(비가 오지 않더라도 다른 원인으로 길이 젖을 수 있기 때문이다). 이는 역과 동일한 논리적 지위를 가진다(Copi, Cohen, & McMahon, 2014).

7. 대우의 정의

대우(contrapositive)는 원래 조건문의 전건과 후건의 위치를 서로 바꾸면서 동시에 각각을 부정한 조건문이다. “P → Q“의 대우는 “¬Q → ¬P“이다. 위의 예에서 원래 조건문 “비가 온다 → 길이 젖는다“의 대우는 “길이 젖지 않는다 → 비가 오지 않는다“이다. 대우는 원래 조건문과 논리적으로 동치이다(Hurley, 2014).

8. 대우와 원래 조건문의 논리적 동치

원래 조건문 “P → Q“와 그 대우 “¬Q → ¬P“는 논리적으로 동치이다. 즉, 한 쪽이 참이면 다른 쪽도 반드시 참이며, 한 쪽이 거짓이면 다른 쪽도 반드시 거짓이다. 이러한 동치 관계는 명제 논리의 진리표를 통해 엄밀히 증명될 수 있으며, 조건 분석의 가장 중요한 논리적 관계 중 하나이다(Copi, Cohen, & McMahon, 2014).

9. 역과 이의 논리적 동치

역 “Q → P“와 이 “¬P → ¬Q“는 서로 논리적으로 동치이다. 이는 이가 역의 대우이기 때문이다. 즉, 역과 이는 원래 조건문과는 독립적이지만, 서로는 논리적으로 동치 관계에 있다. 이러한 관계는 네 조건문(원래, 역, 이, 대우)이 두 동치 쌍으로 분류됨을 보여 준다(Hurley, 2014).

10. 네 조건문의 관계 정리

원래 조건문 “P → Q“로부터 파생되는 네 조건문의 관계는 다음과 같이 정리된다.

• 원래 조건문: P → Q
• 역: Q → P
• 이: ¬P → ¬Q
• 대우: ¬Q → ¬P

논리적 관계는 다음과 같다. 원래 조건문과 대우는 동치이고, 역과 이는 동치이며, 원래 조건문과 역(또는 원래 조건문과 이)은 독립적이다(Copi, Cohen, & McMahon, 2014).

11. 사례: 수학적 조건문

“P: n은 4의 배수이다, Q: n은 짝수이다“라고 할 때, 원래 조건문 “P → Q”(4의 배수이면 짝수이다)는 참이다. 그 역 “Q → P”(짝수이면 4의 배수이다)는 거짓이다(예: 2는 짝수이지만 4의 배수가 아니다). 그 이 “¬P → ¬Q”(4의 배수가 아니면 짝수가 아니다)는 거짓이다. 그 대우 “¬Q → ¬P”(짝수가 아니면 4의 배수가 아니다)는 참이다. 이 사례는 원래 조건문과 대우의 동치, 그리고 역과 이의 독립성을 보여 준다(Hurley, 2014).

12. 학습상 유의 사항

학습자가 역, 이, 대우를 분석할 때 다음 사항에 유의하여야 한다. 첫째, 역과 이는 원래 조건문과 동치가 아니므로, 원래 조건문이 참이라는 사실로부터 역이나 이의 참을 추론해서는 안 된다. 둘째, 대우는 원래 조건문과 동치이므로, 원래 조건문을 증명하는 대신 그 대우를 증명하는 전략(대우 증명법)이 빈번히 사용된다. 셋째, 역의 성립 여부는 필요충분조건 관계의 판정에서 결정적 역할을 한다. 원래 조건문과 그 역이 모두 참이면 전건과 후건은 필요충분조건 관계에 있다(Govier, 2010).

13. 본 절의 결론적 정리

원래 조건문 “P → Q“로부터 파생되는 세 변형 조건문은 역 “Q → P”, 이 “¬P → ¬Q”, 대우 “¬Q → ¬P“이다. 이 중 대우만이 원래 조건문과 논리적으로 동치이며, 역과 이는 원래 조건문과 독립적이지만 서로 동치이다. 학습자는 네 조건문의 관계를 정확히 이해하고, 특히 역과 이를 원래 조건문으로 오인하는 오류를 피해야 한다. 이러한 이해는 타당한 추론과 부당한 추론의 구별에 필수적이다.

14. 출처

• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
• Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Boston: Cengage Learning.
• Govier, T. (2010). A Practical Study of Argument (7th ed.). Belmont: Wadsworth.

15. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15