Алгебра логики. Определить, является ли выражение логическим высказыванием

[exp98]

Захотелось ещё раз вернуться к началу. Я уже голоснул, и мнение не изменил. Хочу внести уточнения в свой ответ. Вот спецом выделил ключевые моменты ИМХО:

Сообщение от chicory

Мой информатик утверждает, что выражение «Не в 11 кабинете горит свет», ибо, цитирую, "если свет горит не в 11 кабинете, то где тогда ещё? 12? 14? 50?" В общем, ссылается на то что возможных значений может быть бесчисленное множество, а потому это не логическое высказывание, т.к. логическое высказывание предполагает только два возможных значения, чтобы сказать, истинно ли оно или ложное.
Я же утверждаю обратное, что это выражение может быть логическим высказыванием, ибо это зависит от заранее заданных условий, т.е. какие мы определяем возможные значения.

Перед этим я написал "в логической системе". Это не корректно, заодно сам освежился, т.ск.
Подразумевались т.н. Алгебраические системы. К которым относится как частный случай и Логика высказываний, к-рая имеет дело с высказываниями (или предикатами). Причём она - именно над бинарной логикой. И именно высказывания будут принимать 2 значения как логический предикат.
Но не как User Defined Logical Function !! --, которая таки да, в бинарной логике принимает только 2 значения, но при этом они не из множества {"раз" "два" "три" ...}, а из {И Л}.
Желающим и меня поправить или опровергнуть полная свобода слова.

И таки да, оплошал преп в формулировках.
Если, конечно, довериться ТСу.