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

Лекция 5. Система аксиом

  1. 00:09Теорема о корректности аксиом CL для булевых алгебр.
  2. 04:25Лемма об импликации
  3. 10:47Пример. Общезначимость 2й аксиомы.
  4. 20:55Пример. Общезначимость 8й аксиомы.
  5. 28:41Следствие непротиворечивости.
  6. 31:18Теорема о полноте исчисления высказываний.
  7. 35:03Лемма о критерии противоречия.
  8. 42:23Продолжение доказательства теоремы о полноте исчисления высказываний.
  9. 46:56Лемма о существовании максимальной подформулы.
  10. 50:07Свойства максимальных множеств.
  11. 01:25:10Следствие. Завершение темы логики высказываний.