미래에 일어날 일과 언젠가 일어날 일은 같은 뜻일까?

그림에서 무엇을 볼까요?

시간 연산자, 시간 구조, 모델 점검을 연결해 조건과 범위를 확인하는 교육용 도식.

내일 비가 오거나 모레 비가 오는 두 시간선을 그린 뒤, “언젠가 비가 온다”와 “내일 비가 온다”가 각각 어느 선에서 참인지 표시합니다.

그림은 시간 연산자 → 시간 구조 → 모델 점검 순서로 읽고 마지막 합류점에서 조건·범위·반례를 함께 확인합니다. 원 논문의 표나 그림을 복사하지 않고 LTCT가 개념 관계만 새로 그렸습니다.