Отрицанием "терминатор - это ночь" будет "терминатор - это не ночь". Терминатор не считается ни ночью, ни днём, поэтому первое утверждение - неверно, а второе утверждение - верно.
Высказывание "терминатор - это день" не является отрицанием высказывания "терминатор - это ночь" и к исключенному третьему такая пара никакого отношения не имеет.
Там был вопрос, на Марсе день или ночь. То есть, если брать бинарную логику, то не ночь и день - это одно и тоже. Ну или не день и ночь. Если появляется значение, когда не ночь, а про день ничего не известно, то это уже троичная логика, там классический закон исключенного третьего из бинарной логики не работает.