nullitte
Этого достаточно, когда разговор идет о высказываниях. Попытка применить правила для высказываний к реальному миру ведет к косякам. Ну не предназначено оно для этого. В реальности у нас может быть день, ночь, пыльная буря какая-нить, где хрен пойми день или ночь, терминатор ака граница, померили освещенность не на поверхности, а в пещере, и т.д. Все эти ситуации невозможно правильно обработать в рамках "логики высказываний", хотя где-то, как-то может и получиться, но без гарантий. Как говорится - и стоящие часы два раза в сутки показывают точное время. А ведь начинал-то я с чего, напоминаю - было определение "на марсе". Для высказывания - нет проблем, а вот реальная планета в один и тот же момент имеет точки, с такими параметрами, что сложить их "в кучку" для определения "день или ночь" некорректно. Приходится уточнять определение, чтоб сходилось.
З.Ы. Черт с ним, с Марсом, вы мне скажите, на Солнце день или ночь? ;)))