Правило подстановки
Пра́вило подстано́вки, одно из правил вывода логико-математических исчислений. Под названием «правило подстановки» могут фигурировать различные виды правил. Например, в исчислении высказываний это правило подстановки формулы вместо всех вхождений пропозициональной переменной. Для исчисления предикатов: а) правило подстановки формулы вместо предикатной переменной; при этом требуется выполнение ряда ограничений на вхождения индивидных переменных с тем, чтобы избежать коллизии переменных, т. е. ситуации, когда переменная, свободная в подставляемой формуле, окажется связанной в результате подстановки; б) правило подстановки терма вместо свободных вхождений индивидной переменной соответствующего сорта; при этом также необходимо избегать коллизии переменных.