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

0:00:09 1. Небольшое дополнение к прошлой лекции 0:02:03 2. Теорема. Об общезначимых формулах в булевой алгебре 0:12:15 3. Исчисление высказываний. Схемы аксиом 0:22:48 4. Правила вывода 0:29:45 5. Примеры доказательства 0:40:07 6. Выводы из гипотез 0:44:12 7. Лемма. О выводимости конъюнкции 0:46:41 8. Продолжение. Выводимость 0:58:45 9. Пример. Выводимость конъюнкции 1:01:43 10. Дополнительные пояснения к доказательству 1:02:46 11. Теорема дедукции 1:17:38 12. Пример. Правило силлогизма 1:21:40 13. Теорема о корректности аксиом CL для булевых алгебр