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

0:00:09 1. Продолжение доказательства теоремы из прошлой лекции 0:07:43 2. Лемма 12.1 О подстановке термов 0:14:29 3. Теорема 7.4 Значения термов на изоморфизмах 0:26:26 4. Сигнатуры с равенством 0:31:26 5. Противоречивая теория 0:32:50 6. Лемма 12.3 Если теория противоречива то в ней выводится любая формула 0:34:04 7. Следствие 12.4 Если теория выполнима, то она непротиворечива. Если теория с равенством и имеет нормальную модель, тогда теория непротиворечива 0:38:37 8. Пример: Арифметика Пеано 0:49:20 9. Модальная логика. Аксиомы 0:57:53 10. Семантика S5 1:16:32 11. Лемма 12.6 Если A любая формула от аргумента u в модели M*, то она принимает такое же значение как формула A принимала в модели M или u