#필요충분조건
-
학습 길잡이 기타
명제는 단순한 문장이 아닌 수학적 사고의 출발점
명제의 개념은 무엇이며, 이를 배우는 이유는 무엇일까? 이번 칼럼에서는 이러한 질문에 대한 답을 찾아보고자 한다. 현 교육과정의 명제 단원에서는 명제와 조건의 뜻을 이해하고, 충분조건, 필요조건, 필요충분조건, 증명, 역과 대우에 대해 배운다. 명제는 참과 거짓을 명확히 알 수 있는 문장이나 식을 의미한다. 예를 들어, ‘한국에서 사과가 재배되고 있다’는 명제이지만, ‘사과는 맛있다’는 명제가 아니다. 사람마다 맛에 대한 생각이 다르기 때문이다. ‘사과는 빨간색이다’ 역시 명제가 아니다. 익지 않은 사과나 녹색 사과도 있기 때문이다. ‘OO이는 키가 175cm 이상이다’는 명제이지만, ‘OO이는 키가 크다’는 명제가 아니다. 절대적인 참과 거짓을 나타내는 문장이나 식을 수학적 명제라고 한다. 명제 단원의 기본 내용들을 살펴보자.변수를 포함하는 문장이나 식이 변수의 값에 따라 참, 거짓을 명확하게 판별할 수 있을 때, 그 문장이나 식을 조건이라 한다.명제 p에서 ‘p가 아니다’를 명제 p의 부정이라고 하고 기호는 ‘~p’이다.용어의 뜻을 간결하고 명확하게 정한 문장을 그 용어의 정의라고 한다.정의나 이미 옳다고 밝혀진 성질을 이용해 주어진 명제가 참임을 설명하는 과정을 증명이라고 한다.참임이 증명된 명제 중에서 기본이 되는 것을 정리라고 한다.명제의 부정에서는 ‘모든’과 ‘어떤’이라는 단어를 신중하게 고려해야 한다.조건 p와 q가 있을 때 명제 ‘p이면 q이다’에서 p를 가정이라고 하고 q를 결론이라고 한다.‘p이면 q이다’를 기호로 ‘p→ q’로 표현할 수 있다.명제 ‘p이면 q이다.’