위키득계정 ↗
과학

반례

반례과학
영문명
Counterexample
대상
일반 명제에 어긋나는 경우
함의의 반례
전제는 참, 결론은 거짓
보편 명제의 반박
적절한 한 경우로 가능
반례는 어떤 일반적인 주장이 거짓임을 보여 주는 구체적인 경우다. 모든 대상에서 성립한다는 명제를 부정하려면 그 조건을 만족하면서 결론은 성립하지 않는 대상 하나를 찾으면 된다.

조건 안에서 찾기

모든 짝수는 4의 배수다라는 주장에 6이 반례다. 6은 짝수라는 전제를 만족하지만 4의 배수라는 결론은 만족하지 않는다. 3처럼 전제를 만족하지 않는 수는 이 주장의 반례가 아니다.

많은 예와 하나의 반례

처음 여러 값에서 명제가 맞아도 모든 경우에서 참이라는 증명이 되지는 않는다. 반대로 보편 명제의 정확한 반례 하나는 그 보편 명제가 거짓임을 보이기에 충분하다.

존재 주장과 구별

어떤 짝수는 4의 배수다라는 존재 주장에 6을 제시해도 반박이 되지 않는다. 4라는 예가 있으면 존재 주장은 참이다. 모든이라고 말하는지 어떤 대상이 있다고 말하는지 먼저 확인한다.

반박 뒤의 결론

한 주장이 거짓이라고 그 정반대의 보편 주장까지 참이 되는 것은 아니다. 모든 짝수가 4의 배수는 아니라는 사실에서 어떤 짝수도 4의 배수가 아니라는 결론을 얻을 수는 없다. 반례가 실제로 부정한 범위를 구별한다.

관련 문서

명제 / 수학적 귀납법 / 대우 (논리학) / 필요충분조건 / 짝수 / 배수 / 논리학