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