다윈은 비글호를 타고 남태평양의 갈라파고스 군도 등지를 두루 탐사한 뒤 귀국했다. 탐사하면서 수집하고 관찰한 방대한 자료를 종합하고 분석한 끝에 탄생시킨 저서가 「종의 기원」이다.
이것은 소리 없는 아우성 …
— 유치환, 「깃발」 첫 행 (밑줄은 문제지의 밑줄 부분)
어떤 명제가 참임을 보이는 과정을 증명이라고 하며 수학에는 많은 증명된 수학적 명제가 있다. 예를 들어 다음과 같은 명제도 증명된 명제이다.
핵심은 ‘이름이 비슷한 두 귀납’을 구별하는 것입니다. 과학적 귀납은 유한한 관찰에서 일반화하므로 결론이 개연적(반례 하나로 뒤집힐 수 있음)이고, 수학적 귀납법은 “첫 단계 + 다음 단계로의 전달”을 증명해 모든 자연수에 대해 필연적으로 참임을 보이는 연역적 증명입니다. 그리고 “모순”이라는 단어 하나가 시(역설법)와 수학(귀류법)을 잇는 다리입니다.
다윈은 비글호를 타고 남태평양의 갈라파고스 군도 등지를 두루 탐사한 뒤 귀국했다. 탐사하면서 수집하고 관찰한 방대한 자료를 종합하고 분석한 끝에 탄생시킨 저서가 「종의 기원」이다.
“귀납법이다 / 연역법이다”라는 이름만 말하면 절반입니다. 공식 채점 기준은 (가)의 방법을 “적절히 설명”하고, 연역적 탐구 방법에 대한 “예를 들어” 설명할 것을 요구합니다. 가설 → 대조 실험 → 결론의 흐름이 보이는 과학사 사례를 하나 골라 두세요.
어떤 명제가 참임을 보이는 과정을 증명이라고 하며 수학에는 많은 증명된 수학적 명제가 있다. 예를 들어 다음과 같은 명제도 증명된 명제이다.
다윈은 비글호를 타고 남태평양의 갈라파고스 군도 등지를 두루 탐사한 뒤 귀국했다. 탐사하면서 수집하고 관찰한 방대한 자료를 종합하고 분석한 끝에 탄생시킨 저서가 「종의 기원」이다.
n = 1, 2, 3, … 몇 개를 대입해 보고 “성립하니까 참”이라고 하면 그것이 바로 과학적 귀납이며, 수학적 증명이 아닙니다. 공식 채점 기준은 수학적 귀납법으로 명제를 설명하고 “귀납적 과학 탐구 방법과 수학적 귀납법의 차이”를 적절히 설명할 것을 요구합니다.
이것은 소리 없는 아우성 …
— 유치환, 「깃발」 첫 행 (밑줄은 문제지의 밑줄 부분)
어떤 명제가 참임을 보이는 과정을 증명이라고 하며 수학에는 많은 증명된 수학적 명제가 있다. 예를 들어 다음과 같은 명제도 증명된 명제이다.
“역설법 → 귀류법”까지만 말하고 실제 증명을 생략하면 문항의 뒷부분(“이를 이용하여 (다)의 명제를 설명하시오”)을 놓칩니다. 공식 채점 기준은 귀류법을 찾아내고 “귀류법을 이용하여 (다)를 적절히 설명”할 것을 요구합니다. 부정 명제를 정확히 쓰는 것(≥의 부정은 <)부터 시작하세요.