Решение задач по теме 'Исчисление высказываний', часть 2

preview_player
Показать описание
Построение вывода формул в исчислении высказываний гильбертовского типа
Рекомендации по теме
Комментарии
Автор

А вообще когда понять что мы уже завершили вывод? Мне кажется так можно до бесконечности выводить. И к чему вообще стремиться при решении задач?

wanchwhocheh
Автор

Хорошо когда можно просто написать "транзит", "контрпозиция", у нас просят всë расписывать аксиомами 😢

ctapobep
Автор

Евгений, спасибо! Скажите же, здорово шестая задачка решается с применением законов Де Моргана?

ovverso.
visit shbcf.ru