Математическая логика и теория алгоритмов 7. Правила вывода

К сожалению, на диске закончилось место и запись оборвалась. Таймкоды: 00:02:14 - Повторение 00:09:35 - Правило вывода из противоречия 00:11:10 - Правило сечения 00:15:15 - Правило разбиения конъюнкции 00:23:02 - Правило разбора случаев 00:30:55 - Правило рассуждения от противного 00:35:00 - Контрапозиция 00:38:40 - Пример использования аксиомы 11 00:43:11 - Правило исчерпывающего разбора случаев 00:45:40 - Обратная контрапозиция 00:48:28 - Вывод одного из законов де Моргана 00:56:08 - Базовая лемма 01:05:10 - Обозначения и основная лемма Дата лекции: 07.10.26 Лектор: Мусатов Даниил Владимирович Оператор: Корнеева Мария Монтажёр: Тютрин Данила Плейлист на YouTube: https://www.youtube.com/playlist?list=PLWP-fU2739ac Плейлист