Математическая логика и теория алгоритмов 6. Исчисление высказываний

00:00:00 - Введение 00:01:57 - Аксиоматика исчисления высказываний 00:14:08 - Пара слов про интуиционизм 00:18:27 - Альтернативные системы аксиом 00:20:41 - Правила вывода 00:21:09 - Modus Ponens (MP) 00:26:24 - Понятие "Вывод" 00:35:17 - Теорема о корректности 00:37:50 - Примеры вывода 00:53:19 - Вывод из посылок 00:55:48 - Примеры вывода из посылок 00:57:56 - Лемма о дедукции 01:01:50 - Доказательство леммы о дедукции 01:20:07 - Пример дедукции Дата лекции: 06.10.2021 Лектор: Смирнов Иван Съемка: Жильцов Игорь Монтаж: Зенина Дарья