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

0:00:09 1. Небольшое дополнение к прошлой лекции 0:02:03 2. Теорема. Об общезначимых формулах в булевой алгебре 0:12:15 3. Исчисление высказываний. Схемы аксиом 0:22:48 4. Правила вывода 0:29:45...