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