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

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. Следствие. Завершение темы логики высказываний