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

Таймкоды: 00:00:00 - Интро 00:00:05 - Список аксиом 00:03:15 - Правило вывода 00:07:55 - Пример 00:12:30 - Теорема о корректности ИВ 00:16:15 - Закон тождества 00:20:55 - Выводимость из посылок 00:24:05 - Лемма о дедукции 00:25:50 - Пример 00:30:45 - Доказательство леммы 00:49:50 - Дополнительные правила вывода 01:01:00 - Техника вывода с конца 01:07:00 - Правило рассуждения от противного 01:10:00 - Контрапозиция Дата лекции: 15.10.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbeQL8k34cCUabVv9Rp_qwU Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_140