Плиско В.Е. - Введение в математическую логику - 9. Исчисление предикатов

00:00:14 Введение. Схемы аксиом исчисления предикатов. Правила вывода исчисления предикатов
00:09:54 Вывод. Квазивывод из гипотез. Вывод из гипотез. Пример
00:22:23 Свойства отношения выводимости. Теорема о корректности. Выводимость тавтологий
00:31:33 Теорема о дедукции. Случай правила Бернайса (II)
00:44:41 Случай правила Бернайса (III). Обобщенная теорема о корректности
00:51:48 Другие допустимые правила вывода (правило введения и правило удаления квантора всеобщности, правило введения и правило удаления квантора существования)
01:06:06 Пример. Прямое доказательство
01:13:18 Пример
01:20:04 Противоречивое множество. Свойства (не)противоречивых множеств

Ссылка на плейлист:
https://www.youtube.com/playlist?list=PLcsjsqLLSfNAz7uW_0qsOZR1cRgbRgIs_

#мгу #мехмат #математика #плиско #логика #математическаялогика

Видео Плиско В.Е. - Введение в математическую логику - 9. Исчисление предикатов канала teach-in