대우명제가 참이라고 해서 원래 명제의 역명제까지 반드시 참이 되는 것은 아닙니다. 논리학에서 명제의 역, 이, 대우는 서로 밀접한 관련이 있지만, 참/거짓의 관계는 명확히 구분됩니다. 이 글에서는 대우명제와 역명제의 관계를 명확히 이해하고, 각 명제가 가지는 논리적 의미를 자세히 알아보겠습니다.
명제의 종류와 정의
명제는 참 또는 거짓을 명확히 판별할 수 있는 문장을 말합니다. 어떤 명제 'P이면 Q이다' (기호로 P → Q)가 있을 때, 우리는 다음과 같은 관련 명제들을 정의할 수 있습니다.
- 역명제 (Converse): 'Q이면 P이다' (Q → P)
- 이명제 (Inverse): 'P가 아니면 Q가 아니다' (¬P → ¬Q)
- 대우명제 (Contrapositive): 'Q가 아니면 P가 아니다' (¬Q → ¬P)
이 네 가지 명제는 서로 연관되어 있으며, 특히 대우명제는 원래 명제와 논리적으로 동치(동일한 참/거짓을 가짐)입니다. 즉, 원래 명제가 참이면 대우명제도 반드시 참이고, 원래 명제가 거짓이면 대우명제도 반드시 거짓입니다.
대우명제와 역명제의 관계
질문하신 '대우명제가 참이면 원래 명제의 역도 참인가?'에 대한 답은 '반드시 그렇지는 않다'입니다. 그 이유는 다음과 같습니다.
- 원래 명제 (P → Q)와 대우명제 (¬Q → ¬P)는 동치입니다. 즉, 둘은 항상 같은 참/거짓 값을 공유합니다.
- 역명제 (Q → P)는 원래 명제 (P → Q)와 논리적으로 동치가 아닙니다. 역명제가 참이라고 해서 원래 명제가 참인 것도 아니고, 원래 명제가 참이라고 해서 역명제가 참인 것도 아닙니다.
따라서, 원래 명제가 참이어서 대우명제가 참이라고 해도, 역명제가 반드시 참이 되는 것은 아닙니다. 역명제의 참/거짓은 원래 명제나 대우명제의 참/거짓과는 독립적으로 판단해야 합니다.
예시를 통한 이해
좀 더 쉽게 이해하기 위해 구체적인 예를 들어보겠습니다.
예시 1:
- 원래 명제: '모든 사람은 포유류이다.' (P → Q)
- 이 명제는 참입니다.
- 대우명제: '포유류가 아닌 것은 사람이 아니다.' (¬Q → ¬P)
- 이 명제도 참입니다. (원래 명제와 동치)
- 역명제: '모든 포유류는 사람이다.' (Q → P)
- 이 명제는 거짓입니다. (개, 고양이 등 사람 이외의 포유류가 존재하기 때문)
이 예시에서 볼 수 있듯이, 원래 명제와 대우명제가 참임에도 불구하고 역명제는 거짓입니다.
예시 2:
- 원래 명제: '어떤 삼각형은 직각삼각형이다.' (P → Q)
- 이 명제는 참입니다.
- 대우명제: '직각삼각형이 아닌 것은 삼각형이 아니다.' (¬Q → ¬P)
- 이 명제는 참입니다. (원래 명제와 동치)
- 역명제: '모든 삼각형은 직각삼각형이다.' (Q → P)
- 이 명제는 거짓입니다. (정삼각형, 이등변삼각형 등 직각삼각형이 아닌 삼각형도 존재)
결론
대우명제가 참이라는 사실은 원래 명제 또한 참임을 의미합니다. 하지만 이것이 역명제가 참임을 보장하지는 않습니다. 역명제의 참/거짓은 원래 명제의 참/거짓과 독립적으로 판단해야 하는 별개의 문제입니다. 논리학에서 명제의 역, 이, 대우 관계를 정확히 이해하는 것은 수학적 사고뿐만 아니라 논리적인 추론 능력을 기르는 데 매우 중요합니다.