>> 20 января было написано: На экзамене по математической логике:
>> - Быть или не быть?
>> - Это тавтология!
>> - Правильно!
>> Вообще-то это принцип исключенного третьего ;-) Так что НЕПРАВИЛЬНО!
F(Быть) = Быть дизъюнкция (отрицание (Быть))
Для переменной "Быть" возможно два значения:
Пусть Быть=1, тогда F = 1 дизъюнкция 0 = 1
Пусть Быть=0, тогда F = 0 дизъюнкция 1 = 1
Таким образом, F -- универсальная истина. :)))