Допсем Матлогика 4. Исчисление высказываний

00:00:00 В предыдущих сериях... 00:09:15 Аксиомы 00:18:00 Modus ponens 00:20:20 Теоремы о корректности и полноте 00:22:10 Получение новой формулы выводом 00:28:45 Вывод из посылок 00:43:55 Вывод по аксиомам 3-7 00:54:20 Задача 25 00:59:30 Лемма о дедукции 01:02:53 Задача 26 01:12:08 Задача 27 01:27:00 Задача 28 01:33:30 Задача 29 01:56:40 Задача 30 02:08:06 Обзор используемых инструментов Дата: 22 октября 2023 Преподаватель: Калинин Иван Оператор: Малышев Сергей Плейлист: