명제
참과 거짓을 판별할 수 있는 문장을 조건과 논리 관계로 다룹니다.
정의부터 표현과 조건까지
개념을 먼저 이해하기
명제와 조건
참 또는 거짓을 분명히 판별할 수 있는 문장이 명제이다. 조건 p의 진리집합은 p를 참이 되게 하는 전체집합의 원소 모임이다.
수학 문장의 대상과 범위를 분명히 해야 예외 하나로 거짓이 되는 상황을 놓치지 않는다.
명제는 판정 가능한 약속이고, 진리집합은 그 약속을 통과하는 입력 목록이다.
- p⇒q가 참 ⇔ P⊆Q
- 전칭명제의 거짓은 반례 하나로 보인다.
- 전체집합과 변수의 범위를 먼저 확인한다.
- 의문문·명령문·주관적 표현은 보통 명제가 아니다.
- 진리집합 P,Q의 포함 관계를 그린다.
- 조건문을 “p이면 q이다”로 표준화한다.
- 몇 사례가 맞으면 항상 참이라 결론낸다.
- 변수의 수 범위를 무시한다.
역·이·대우와 필요충분조건
p⇒q의 역은 q⇒p, 이는 ¬p⇒¬q, 대우는 ¬q⇒¬p이다. 원명제와 대우의 참·거짓은 항상 같다.
직접 증명이 어려운 명제를 동치인 대우로 바꾸고, 조건 사이의 방향을 정확히 표현할 수 있다.
p가 q 안에 포함되면 q 밖에 있는 것은 반드시 p 밖에도 있다. 이것이 대우의 그림이다.
- p⇒q ≡ ¬q⇒¬p
- p⇒q이면 p는 q의 충분조건, q는 p의 필요조건
- p⇔q이면 필요충분조건
- 역은 원명제와 참·거짓이 같다고 보장되지 않는다.
- 필요·충분은 화살표 방향을 먼저 쓴 뒤 읽는다.
- P⊆Q에서 조건 이름을 읽는다.
- 원명제·역·이·대우의 2×2 표를 만든다.
- 역과 대우를 혼동한다.
- 충분조건과 필요조건의 방향을 반대로 읽는다.
증명과 반례
직접증명은 가정에서 결론을 이끌고, 대우증명은 동치인 대우를 보이며, 귀류법은 결론의 부정을 가정해 모순을 만든다.
계산 결과가 아니라 모든 가능한 경우에 성립하는 이유를 논리적으로 보장한다.
직접 길이 막히면 반대편에서 대우의 길로 오거나, 결론이 거짓이라고 가정했을 때 길이 막힘을 보인다.
- 짝수 n=2k, 홀수 n=2k+1
- √2의 무리수 증명: 기약분수 가정→분자·분모 모두 짝수 모순
- 반례는 명제의 조건을 만족하면서 결론을 만족하지 않아야 한다.
- 귀류법의 모순은 가정이나 이미 참인 사실과 충돌해야 한다.
- 가정→중간 사실→결론의 논리 사슬을 쓴다.
- 반례가 조건과 결론 중 어디에 속하는지 표로 확인한다.
- 예시 몇 개를 증명으로 제시한다.
- 조건을 만족하지 않는 값을 반례로 든다.
한국 수업·연구·학생 질문에서 확인
학생들이 실제로 어려워하는 지점
이 단원은 단독 학생 오류 빈도를 제시할 공개 한국 연구가 부족해, EBS 공개 설명과 고등학생 교과서 활용 연구에서 확인된 학습 방식만 근거로 삼았습니다.
반복해서 나타나는 어려움
- 정의와 조건을 읽지 않고 기호 조작부터 시작하면 명제의 참·거짓이나 수열의 규칙 범위를 잘못 넓힐 수 있습니다.
- 교과서를 시험 직전 공식 확인용으로만 쓰면 예·반례와 정의 사이의 연결을 충분히 연습하기 어렵습니다.
이렇게 배우면 연결이 쉽습니다
- 집합·명제는 예와 반례를 직접 만들고, 수열은 처음 몇 항과 n번째 항을 왕복하며 정의 범위를 확인합니다.
- 공식 옆에 성립 조건과 틀리는 최소 반례를 함께 적어 결과만 암기하지 않습니다.
이 단원에서 직접 확인할 오류
- 역을 대우로 착각
- 필요·충분 방향 반대
- 조건 밖의 값을 반례로 사용
어려운 용어를 일상 언어로 풀고, 중학교 핵심 개념을 이야기와 다양한 표현으로 연결하는 공개 자료입니다.
수학교육 연구고등학생의 수학 교과서 인식과 활용고등학생은 교과서를 시험 대비에 중요하게 보지만 실제 자율 학습에는 제한적으로 활용한다는 인터뷰 결과를 보고했습니다.
강의에서 확인한 난점과 설명 방식
링크는 검토한 자막 구간에서 바로 시작합니다. 직접 난점으로 확인되지 않은 영상은 설명 방식이나 개념 보충 자료로만 표시했습니다. 선정 영상 몇 편에서 확인한 정성 자료이며, 전체 학생의 난점 발생 빈도나 대표성을 뜻하지 않습니다.
개념이 문제로 바뀌는 과정
대표 예제
실수 x에 대한 명제 “x²>x이면 x>1이다”의 참·거짓을 판별하시오.
- x²>x는 x(x-1)>0이므로 x<0 또는 x>1이다.
- x=-1은 조건 x²>x를 만족하지만 결론 x>1은 만족하지 않는다.
- 반례가 있으므로 명제는 거짓이다.
답: 거짓, 반례 x=-1
실수 x에 대해 p: x=2, q: x²=4일 때 p와 q의 필요·충분 관계를 말하시오.
- x=2이면 x²=4이므로 p⇒q는 참이다.
- x²=4이면 x=2 또는 -2이므로 q⇒p는 거짓이다.
- 따라서 p는 q의 충분조건이고 q는 p의 필요조건이다.
답: p는 q의 충분조건, q는 p의 필요조건
정수 n에 대하여 n²이 홀수이면 n이 홀수임을 증명하시오.
- 대우 “n이 짝수이면 n²이 짝수이다”를 증명한다.
- n이 짝수이면 어떤 정수 k에 대해 n=2k이다.
- n²=4k²=2(2k²)이므로 짝수이다.
- 대우가 참이므로 원명제도 참이다.
답: 참
처음 보는 문제에서도 쓰는 순서
풀이 절차
- 1가정 p와 결론 q를 분리합니다.
- 2집합의 포함 관계나 대우로 바꿉니다.
- 3거짓 같으면 가장 간단한 반례를 찾습니다.
틀린 이유를 다음 문제에 남기지 않기
오개념 교정
역·이·대우를 섞기
고치는 습관: 가정 p와 결론 q를 분리합니다.필요조건과 충분조건의 화살표 방향을 반대로 보기
고치는 습관: 집합의 포함 관계나 대우로 바꿉니다.읽은 뒤 확인하기
혼자 공부하는 순서
01문장이 명제인지 판별한다.
02역·이·대우를 정확히 쓴다.
03필요조건과 충분조건을 화살표로 읽는다.
04반례·직접증명·대우증명을 상황에 맞게 사용한다.