Вводные были про день или ночь, а не про сумерки или ночь.

С точки зрения формальной логики. Если мы зафиксируем конкретную координату. В точке X в момент времени Y действительно либо ночь, либо не ночь.

Ок, прелестно, точка на марсе в момент замера попала на терминатор, едем дальше.