같은 자료에서 결론이 달라질 수 있다면

그림에서 무엇을 볼까요?

원자료의 두 충분조건과 출발 신호가 켜졌다는 사실을 모두 만족하는 두 경우. 지도와 배터리 확인은 두 경우 모두 거짓이고, 출발 허용은 왼쪽 참·오른쪽 거짓이며 신호 켜짐은 둘 다 참이다.

출발 신호가 켜졌다는 사실만 주어진 경우로 돌아가겠습니다. 한 경우에는 출발도 허용되어 있고 신호도 켜져 있습니다. 다른 경우에는 출발은 허용되지 않았지만 신호는 켜져 있습니다. 아래 두 경우는 모두 원자료의 두 충분조건을 만족합니다.

왜 오른쪽 경우도 규칙에 어긋나지 않을까요? ‘허용되면 신호가 켜진다’는 규칙이 금지하는 것은 허용되었는데 신호가 꺼져 있는 조합입니다. 허용되지 않은 상태의 신호를 어떻게 정할지는 그 규칙에 들어 있지 않습니다. 또한 아래 두 경우에서는 두 확인을 모두 마쳤다는 조건이 성립하지 않으므로, 첫 규칙도 위반하지 않습니다.