“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?

그림에서 무엇을 볼까요?

빨강 또는 파랑 주장에는 한쪽 표지의 증명이 필요하고, 존재 주장에는 실제 상자와 검증이 필요하며, 이중부정만으로 빨강 구성이 완료되지는 않는다는 세 행 표.

가상의 상자에는 하나의 표지가 들어 있고 규칙상 빨강 또는 파랑만 허용됩니다. 검사자는 봉인을 뜯어 빨강 표지를 제시했습니다. 이때 “빨강이거나 파랑”은 빨강이라는 증인과 함께 구성적으로 확인됩니다. 그림의 첫 행은 주장, 필요한 구성, 현재 상태를 나란히 놓습니다.

다른 상자는 봉인이 훼손되어 표지를 볼 수 없습니다. “빨강이 아님을 가정하면 모순”이라는 절차도 아직 제시하지 못했습니다. 이 상태에서 선택지가 둘뿐이라는 규정만 반복하면 실제 어느 선언의 증명을 가진 것인지 드러나지 않습니다. 미확인은 파랑의 증명이 아니며 빨강의 반증도 아닙니다.