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

В вашем примере. Если мы определим ночь как "солнца нет", то "светло, но солнца нет" подойдёт под определение ночи и будет считаться ночью. Твёрдо и чётко.