Аннотация:
1. Следствия из теоремы дедукции в модальном и интуиционистском случае.
2. Замены свободных и связанных переменных в предикатных формулах.
3. Расширенное множество переменных: вспомогательные переменные и константы.
4. Формульные подстановки для предикатных формул. Действие формульных подстановок на формулы.
Прямые и строгие подстановки.
5. Коммутирование формульных подстановок с заменами связанных переменных.
Обратная связь: