반례 만들기

① 예시에서 올빼미가 어떻게 움직이는지 봅니다.
② ‘직접 해보기’를 누릅니다.
③ 올빼미를 눌러 정원 안팎으로 옮깁니다.
④ 조건은 모두 지키고, 주장은 틀리게 만든 뒤 ‘검사하기’를 누릅니다.

11~20단계는 반례를 찾은 다음 ‘조건 보완하기’로 이어집니다. 조건 카드 하나를 추가해 가능한 모든 배치에서 주장이 참이 되도록 만드세요. 다른 반례가 남으면 올빼미가 그 배치를 보여줍니다. 원래 조건과 충돌해 가능한 배치가 없어지는 조건은 성공으로 인정하지 않습니다.

21~23단계 · 두 규칙 구별하기에서는 서로 다른 판정을 만드는 배치를 찾습니다. 23단계는 언제나 같은 뜻인지도 판단합니다.

24~26단계 · 반드시 참일까?에서는 조건을 지키는 배치를 만들고 세 판정 중 하나를 고릅니다. 배치에 따라 달라지면 참·거짓 배치를 각각 저장합니다.

27~29단계 · 모순 찾기에서는 함께 지킬 수 없는 조건들을 고릅니다. 선택한 조건 하나라도 빼면 가능한 배치가 있어야 합니다.

30~32단계 · 최소 변경 반례에서는 처음 위치와 최종 위치가 달라진 올빼미 수를 셉니다. 반례가 맞으면 성공하며, 가능한 최소 변경 수를 넘은 한 마리마다 100점에서 5점 감점합니다. 눌렀던 횟수와 시행착오는 감점하지 않습니다.

33~35단계 · 숨은 규칙 찾기에서는 배치를 실험해 후보를 하나로 좁히고 제출합니다. 후보와 맞지 않는 결과가 나오면 그 후보가 제외됩니다. 같은 배치의 반복 실험은 새 횟수로 세지 않습니다. 숨은 규칙은 문제 안에서 고정되어 있습니다.

반례는 어떤 주장이 틀린다는 것을 보여 주는 예입니다. 이 화면에 나온 올빼미만 판단하며, 정원 안에 아무도 없을 때 ‘안의 올빼미는 모두 …’라는 말을 어기는 올빼미는 없습니다. ‘한 마리 이상’이라는 조건은 실제로 한 마리 이상 있어야 지킵니다.

파랑은 파란 배지, ★는 별 배지, ☾는 달 배지입니다. 배지는 올빼미마다 정해져 있습니다. 예시를 보는 시간은 풀이 시간에서 제외하며, 검사 횟수로 감점하지 않습니다. 단계 번호는 학습 순서입니다.

완료한 단계의 첫 풀이 기록은 이 브라우저에만 보관됩니다.