| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
|
|||
|
|
|||
|
Лекция 3. Модальные логики предикатов и их модели В. Б. Шехтман |
|||
|
Аннотация: 1. Коммутирование формульных подстановок с заменами связанных переменных (окончание доказательства). 2. Прямые формульные подстановки преобразуют формулы в формулы. Определение действия формульной подстановки на формулу рекурсией по построению формулы. 3. Сильная конгруэнтность формул. 4. Конгруэнтность формул. Сохранение конгруэнтности при замене свободных переменных. |
|||
