Введение в математическую логику 11. Применение ИР для проверки общезначимости

00:00:00 - Начало 00:00:53 - Проверка общезначимости формулы 00:06:55 - Сколемизация 00:07:58 - Лемма о сколемизации 00:12:13 - Доказательство 00:21:58 - Пример 00:24:15 - Подбор множества универсальных дизъюнктов 00:33:10 - Пример 00:40:39 - Устройство ИР 00:45:09 - Резолютивный вывод 00:50:49 - Теорема о совместности 00:51:59 - Доказательство 01:09:28 - Определение системы доказательств 01:14:58 - Теория значимости Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: