그림의 빈칸은 ‘없음’일까, ‘아직 모름’일까?

그림에서 무엇을 볼까요?

두 벤 다이어그램 모두 A에서 B 바깥 영역에 빗금이 있다. 오른쪽만 겹친 영역에 x가 있어, 모든 A는 B라는 조건과 A의 존재가 별개임을 보여준다.

아래는 LTCT가 만든 집합 그림입니다. 이 예시에서는 빗금이 ‘그 영역에는 원소가 없음’, 점 x가 ‘그 영역에 적어도 하나가 있음’을 뜻합니다. 표시 없는 영역은 존재 여부를 아직 정하지 않은 것으로 읽습니다.

A에서 B 바깥 부분에만 빗금을 치면 ‘모든 A는 B’를 표현합니다. 하지만 A와 B가 겹친 부분에 누군가 있다고 말한 것은 아닙니다. 겹친 부분에 x를 추가하면 비로소 A이면서 B인 원소의 존재를 따로 주장하게 됩니다. 두 그림의 차이는 크기나 색의 느낌이 아니라 추가된 정보에 있습니다.