Плиско В.Е. - Введение в математическую логику - 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 Противоречивое множество. Свойства (не)противоречивых множеств Ссылка на плейлист: #математическаялогика