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

Закон исключенного третьго работает для точки, а не для планеты. На Марсе одновременно и ночь, и не ночь — всё зависит от координат.