수학사랑

이를테면 명제 p → q 가 거짓임을 보이려면 조건 p를 만족하는 집합을 P, 조건 q를 만족하는 집합을 Q라고 할 때, 집합 P에 속하지만 집합Q에는 속하지 않는 한 원소를 예로 들면 된다.

이와 같은 예가 반례이다.

반례는 counterexample을 번역한 것으로 한자로는 反例라고 쓴다.

counterexample → 反例 → 반례

counter에는 '反對의'라는 뜻이 있고 example에는 '例'라는 뜻이 있으므로, counterexample을 글자 그대로 번역하면 '反對의 例'이다.
이것을 간단히 한 것이 '反例'이다.

위에서 명제 p → q 가 참임을 보이는 예가 아니라, 반대로 그것이 거짓임을 보이는 예이기에 '반례'라고 하는 것이다.