Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Исчисление предикатов

0:00:09 1. Напоминание темы исчисления предикатов начатой в прошлый раз 0:00:47 2. Системы гильбертовского типа 0:13:33 3. Лемма 11.1 Свойства отношения выводимости. Эквивалентна лемме 4.2 0:10:50 4. Понятие вывода и вывода из гипотез 0:14:16 5. Лемма 11.2 Если в исчислении высказываний выводится формула A то в исчислении предикатов выводится S подстановка 0:19:35 6. Лемма 11.3 Справедливость некоторых правил, в том числе правила Бернайса(ослабленные) 0:27:45 7. Лемма 11.4 О независимости обозначения переменных 0:31:44 8. Теорема о дедукции 0:35:45 9. Лемма 11.5 Теорема о дедукции без правила обобщения 0:37:40 10. Лемма 11.6 Правило вывода 0:39:22 11. Лемма 11.7 Допустимость правила Бернайса 0:53:21 12. Теорема о корректности. Продолжение доказательства на следующей лекции