x 1.00
Скачать видео

Лекция 11. Исчисление предикатов

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