Подстановка (логика)
- Подстановка — это отображение переменных в члены выражения.
- Многие авторы требуют, чтобы подстановка отображала каждую переменную в соответствующий член.
- Область dom(σ) подстановки определяет набор фактически замененных переменных.
- Подстановка может быть основной, линейной, плоской или с переименованием.
- Композиция подстановок является ассоциативной операцией и совместима с применением подстановки.
- Подстановка является основной операцией в алгебре, особенно в компьютерной алгебре.
- Подстановка связана с функциональным составом и тесно связана с β-редукцией в лямбда-исчислении.
Полный текст статьи: