같은 조건문도 사회적 약속으로 읽으면 반례 카드를 더 잘 찾을까?

그림에서 무엇을 볼까요?

혜택 받음과 확인 안 함 두 카드는 반례를 찾기 위해 뒤집고 나머지 두 카드는 뒤집지 않는 네 카드 도식

규칙: ‘무료 모의시험 혜택을 받은 사람은 본인확인을 완료해야 한다.’ 카드에는 ‘혜택 받음’, ‘혜택 안 받음’, ‘확인 완료’, ‘확인 안 함’이 보입니다.

반례는 혜택을 받았으면서 확인하지 않은 경우입니다. 그러므로 ‘혜택 받음’ 카드 뒤의 확인 상태와 ‘확인 안 함’ 카드 뒤의 혜택 상태를 봅니다. ‘확인 완료’는 혜택을 받지 않았어도 규칙을 깨지 않습니다.