명제와 논리 (Proposition and Logic)
쉽게 풀면
"서울은 한국의 수도이다"는 참·거짓을 딱 정할 수 있으니 명제이지만, "오늘 날씨 참 좋다"는 사람마다 판단이 달라 명제가 아닙니다. 명제 중에서도 "비가 오면(가정) 땅이 젖는다(결론)"처럼 "만약 ~라면 ~다" 형태로 된 것을 조건문이라 부릅니다. 이 조건문을 뒤집거나 부정해서 새로 만든 문장이 역(결론과 가정을 바꿈), 이(가정과 결론을 각각 부정함), 대우(가정과 결론을 바꾸고 각각 부정함)입니다. 재미있게도 원래 조건문과 대우는 항상 참·거짓이 똑같이 유지되는데, 이 성질은 수학 증명에서 아주 요긴하게 쓰입니다.
왜 중요한가
명제와 조건문, 그리고 역·이·대우 개념은 수학적 증명의 근간이 되는 논리적 사고 능력을 측정하는 기준으로 수학교육 연구에서 자주 다뤄집니다. 특히 대우를 이용한 증명(귀류법과 함께)은 직접 증명이 어려운 명제를 다루는 대표적인 전략이어서, 학생들이 이 관계를 정확히 이해하는지는 이후 고등수학·논리학 학습의 성패를 가르는 지표로 여겨집니다. 논리적 오류 유형 분석은 교수법 개선을 위한 실증적 근거로도 활용됩니다.
논문에서는 이렇게 쓰입니다
이 문장은 명제와 논리라는 기초 개념 자체를 교육학·수학교육 연구에서 학생들의 이해도 측정 대상으로 다루고 있음을 보여줍니다.
수학교육 실험연구에서 특정 증명 전략(대우 증명법)의 교육 효과를 다른 방법과 비교할 때 사용되는 표현입니다.
조금 더 깊게 보면
조건문 "P이면 Q이다"에 대해 역은 "Q이면 P이다", 이는 "P가 아니면 Q가 아니다", 대우는 "Q가 아니면 P가 아니다"로 정의되며, 원명제와 대우만 논리적으로 항상 동치라는 사실은 진리표를 그려보면 확인할 수 있습니다. 이 성질은 귀류법(모순을 이용한 증명)의 근거가 되기도 하며, 집합 관계로 보면 조건문 "P이면 Q이다"는 P의 집합이 Q의 집합에 포함된다는 부분집합 관계로 해석할 수 있습니다.
주의할 점
많은 학생들이 원래 명제가 참이면 그 "역"도 자동으로 참이라고 착각합니다. 하지만 역은 원래 명제와 반드시 같은 진리값을 갖지 않으며, 오직 대우만 원래 명제와 항상 같은 참·거짓을 갖습니다. 이런 논리 구조는 집합에서 부분집합 관계를 다룰 때도 그대로 적용됩니다.