Лекция 3. Модальные логики предикатов и их модели

1. Коммутирование формульных подстановок с заменами связанных переменных (окончание доказательства).
2. Прямые формульные подстановки преобразуют формулы в формулы. Определение действия формульной подстановки на формулу рекурсией по построению формулы.
3. Сильная конгруэнтность формул.
4. Конгруэнтность формул. Сохранение конгруэнтности при замене свободных переменных.