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

00:00:00 - Введение 00:00:33 - Повторение аксиом, MP и леммы о дедукции 00:09:13 - Дополнительные правила вывода 00:17:02 - Правило разбора случаев и общее правило сечения 00:38:57 - Правило рассуждения от противного и правило вывода из противоречия 00:56:06 - Правила, использующие закон исключенного третьего 01:08:33 - Теорема о полноте, базовая лемма 01:12:46 - Основная лемма (о таблицах истинности) Дата лекции: Лектор: Мусатов Даниил Владимирович Съемка: Прозорова Лилия Монтаж: Зенина Дарья