조건문과 존재 주장을 분리하기의 논리 구조를 단계별로 정리했다.

그림에서 무엇을 볼까요?

생각그림 7 · 조건문과 존재 주장을 분리하기의 논리 구조를 단계별로 정리했다.

“그런 이발사가 있다”는 존재 주장과 “어떤 사람이 그런 이발사라면 다음 규칙을 따른다”는 조건문은 다르다. 조건을 만족하는 사람이 전혀 없으면 후자의 보편 조건문은 고전 논리에서 공허하게 참이지만, 존재 주장은 거짓이다. 일상 퍼즐은 대개 이발사가 실제로 있다고 전제한다. 모순은 그 존재 전제가 규칙과 함께 유지될 수 없음을 밝힌다.