사례 기록에 무엇을 더해야 상자 가를 판단할까?
상자 가까지 판단할 수 있도록 별도의 조건을 더해 보겠습니다. 가상의 작업장에서 파란 점은 금속판을 넣고 확인한 상자에만 찍으며, 표시 뒤에는 내용물이 바뀌지 않는다고 약속합니다. 상자 가도 그 공정으로 만든 상자이고, 표시 위조와 검사 누락이 없다는 조건까지 둡니다. 현실 작업장의 신뢰도를 확인한 것이 아니라 논리 연습을 위한 명시적 가정입니다.
그림에서 무엇을 볼까요?
상자 가에 파란 점 있음이라는 관찰과, 적용 범위 안에서 파란 점이면 금속판 있음이라는 가정이 함께 적용되어 상자 가에 금속판 있음으로 이어진다. 아래 별도 반례 점검란은 점 있음·금속판 없음인 상자가 발견되면 규칙을 재검토하라고 설명한다.
상자 가까지 판단할 수 있도록 별도의 조건을 더해 보겠습니다. 가상의 작업장에서 파란 점은 금속판을 넣고 확인한 상자에만 찍으며, 표시 뒤에는 내용물이 바뀌지 않는다고 약속합니다. 상자 가도 그 공정으로 만든 상자이고, 표시 위조와 검사 누락이 없다는 조건까지 둡니다. 현실 작업장의 신뢰도를 확인한 것이 아니라 논리 연습을 위한 명시적 가정입니다.
이 가정 아래에서는 상자 가의 파란 점과 공정 규칙을 결합해 금속판이 들어 있다고 결론 내릴 수 있습니다. 비교 상자 나와 다는 규칙을 이해하는 데 도움이 되지만, 둘을 보았다는 사실만으로 모든 공정의 무결성이 증명되지는 않습니다. 그림은 관찰 자료와 규칙 가정을 각각 다른 상자에 적었습니다.
