한 사례로 규칙을 무너뜨리는 법

그림에서 무엇을 볼까요?

두 조건의 네 조합을 검사해 전체 주장에 어긋나는 경우를 찾는 표

열람 시스템의 실제 허용 규칙은 ‘예약과 교육을 모두 충족해야 한다’고 정해져 있습니다. 누군가 예약만 있으면 허용된다고 추측했습니다. 예약도 했고 교육도 이수한 사람의 성공 기록은 이 추측과 맞아떨어집니다. 그러나 그 기록 하나는 어떤 조건이 결정적이었는지 구분해 주지 못합니다.

예약은 했지만 교육을 이수하지 않은 사람을 검사하면 두 규칙이 갈라집니다. 실제 규칙에서는 허용되지 않지만 추측은 허용된다고 말합니다. 이것이 추측의 반례입니다. 반례를 찾는 목적은 일부러 틀리게 만드는 데 있지 않고, 주장이 어디까지 성립하는지 밝히는 데 있습니다.