История изменений
Исправление AndreyKl, (текущая версия) :
Обдумал это ещё раз :)
Мне кажется то что (s' -> t) & a <= s' -> t не вытекает из аксиом (хотя и кажется интуитивно логичным). Не мог бы ты пояснить, как ты получил это? Если есть минутка, конечно.
Исправление AndreyKl, :
Обдумал это ещё раз :)
Мне кажется то что (s' -> t) & a <= s' -> t не вытекает из аксиом (хотя и кажется логичным). Не мог бы ты пояснить, как ты получил это? Если есть минутка, конечно.
Исходная версия AndreyKl, :
Обдумал это ещё раз :)
Мне кажется то что (s' -> t) & a <= s' -> t не вытекает из аксиом. Не мог бы ты пояснить, как ты получил это? Если есть минутка, конечно.