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

0:00:09 1. Продолжение темы логики высказываний S5 0:04:20 2. Теорема 13.1 Эквивалентность 0:25:15 3. Лемма 13.2 Правила монотонности импликаций 0:34:16 4. Модальные формулы глубины 1 0:37:23 5. Лемма 13.3 О записи формулы глубины 1 0:50:24 6. Лемма 13.4 О существовании конечного числа попарно не эквивалентных формул длины 1 0:53:37 7. Лемма 13.5 Любая формула эквивалентна формуле длины 1. Лемма 13.6. О существовании конечного числа попарно не эквивалентных формул от n переменных 1:04:17 8. Лемма 13.7 Если теория Г непротиворечива то существует максимальная теория которая содержит Г 1:08:30 9. Лемма 13.8 Существует конечное числа максимальных множеств. Лемма 13.9 Свойства максимальных множеств