История изменений
Исправление tyakos, (текущая версия) :
Нет, это я ошибся. Вроде так:
Пусть s & s' = I
I <= s
I <= s'
Тогда
s -> t <= I -> t
s' -> t <= I -> t
И, например
(s' -> t) & a <= s' -> t <= I -> t
Где а = s -> t.
На страницу 58 посмотрю чуть позже.
Исходная версия tyakos, :
Нет, это я ошибся. Вроде так:
Пусть s & s' = I
I <= s
I <= s'
Тогда
s -> t <= I -> t
s' -> t <= I -> t
И, например
(s' -> t) & a <= s' -> t <= I -> t
Где а = s -> t.
На страницу 58 посмотрю чуть позже.